{"entities":{"Q5738916":{"pageid":7768468,"ns":120,"title":"Item:Q5738916","lastrevid":52826774,"modified":"2026-01-23T14:25:29Z","type":"item","id":"Q5738916","labels":{"en":{"language":"en","value":"Incremental execution of guarded theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729727"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738916$F0ACFBF2-027F-41B2-8E23-F356F8ACA3B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f71d3c451472eef45b8c0427d275070a78833f9","datavalue":{"value":{"text":"Incremental execution of guarded theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738916$49127A5B-9299-467C-A9EC-D592755450D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4060f1bdd5094e9ab275ad3db70e961c16896d8b","datavalue":{"value":"1365.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738916$F4EEBF45-DFF7-4A61-8EFB-3F4147089F3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1ff5472ebab7efdea276f55a2982daaa04d631c","datavalue":{"value":"10.1145/383779.383782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738916$087701C5-B76B-482E-ACF5-EA38E3783014","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2099869b514aeb1a2ed840658681e19bf61d79e","datavalue":{"value":{"entity-type":"item","numeric-id":286404,"id":"Q286404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738916$70CD81EA-A54C-4C59-8D35-26FB75F90B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9973a1e4932f35595f4ff75a28d3c2375ee8ce67","datavalue":{"value":{"entity-type":"item","numeric-id":310091,"id":"Q310091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738916$6A592982-3F60-43E5-9986-572457FD5C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a3f2aec1055f405a105e038002dbdf46a67d351","datavalue":{"value":{"entity-type":"item","numeric-id":360043,"id":"Q360043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738916$4BE979C6-96B7-4831-8F5A-DE55F2CA656F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738916$27B5A4C9-A635-4545-87E6-35DF77EB581A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738916$99FF3FB4-FCDD-4EA1-976F-52031AC54147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738916$36A4249A-2C9C-4A9B-ABB7-C3E190DEE93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738916$A8253F96-1EF7-4F3F-8335-9E75611B794C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738916$9C91C6D5-CEAC-429E-9563-39F23A9862C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738916$752E2972-1079-470C-8F75-356B460E1A75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aeb6f90ab00a994f9cb66b22e2154a405d8a9073","datavalue":{"value":"6729727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738916$AF66A2CE-EBEA-42F9-96DB-C4B55879936B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca5a132bdb7e5742c73f9ebec827e1e60d90e15","datavalue":{"value":"agent behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738916$2B2D964C-137F-4DE3-AC10-EB06049A6C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d72f87071c033a7fc6394dc8a7c682569d4313","datavalue":{"value":"reasoning about actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738916$AD57EEB3-31BC-477E-A52B-E209E304EA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755a933adb167e01eae33695d067a9b3b5cd353c","datavalue":{"value":"situation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738916$D4939736-B069-49B3-92B3-B71F53300BD5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29bda2af91dca1aa0439166a73b51220c6f30159","datavalue":{"value":{"entity-type":"item","numeric-id":14449,"id":"Q14449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738916$96F163A7-64C6-450A-AB62-AADCD4C7D879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"043f286811bd7e3b25c26d8138a3f84c5097b5d8","datavalue":{"value":{"entity-type":"item","numeric-id":14703,"id":"Q14703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738916$453070F0-DAD4-46C9-901D-88E7276EA75F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738916$9007102F-7D6C-42D4-A9B2-C1FA311CAEB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"964b839dd077eb6b31fd6e3a743e3483a201cd2b","datavalue":{"value":"https://doi.org/10.1145/383779.383782","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738916$2539B9CD-3EC7-426C-B1D0-06682636620A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4474593214e7b3506f4c8e705f362270c980edee","datavalue":{"value":"W2087144687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738916$C8DE27DA-E201-4F8D-B0D1-981AB166BEE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8419489f6ed30c3b63cc93c1c06a3b0502c066","datavalue":{"value":{"entity-type":"item","numeric-id":4934644,"id":"Q4934644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23acd748cf9c8945d3bfa79f156767859567b71f","datavalue":{"value":{"amount":"+0.8152272701263428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738916$C8E2A382-2D92-4D93-A4BD-83614D9CF844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26531f5655de570aaf520cb7ae3082837083c63","datavalue":{"value":{"entity-type":"item","numeric-id":4352529,"id":"Q4352529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b76b67e8813d320ef99dc77c9b4ad30d5b454a0","datavalue":{"value":{"amount":"+0.7847875356674194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738916$8D927E0E-FA6E-4A87-96A7-3E15098AEC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e962f1d021cad334aefc415558b38611115a1ea9","datavalue":{"value":{"entity-type":"item","numeric-id":2996157,"id":"Q2996157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15729766d902146f58943d9a2d5ddc77897b4789","datavalue":{"value":{"amount":"+0.7751389741897583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738916$933E51CE-3358-4B70-BBA0-E8D566DC3504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8815fae5f4a05ba430badf9dbb9be0c1dab81bc","datavalue":{"value":{"entity-type":"item","numeric-id":4797429,"id":"Q4797429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c305657782c34af7829eaf894641b5888a388b","datavalue":{"value":{"amount":"+0.770004153251648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738916$298C9921-2F59-41AF-8487-033ABA0511A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918754948700998eef51b89a590a694747ff0653","datavalue":{"value":{"entity-type":"item","numeric-id":4467045,"id":"Q4467045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb1d7a41ab11eea0e7c62a47c2d90a70acae8ea","datavalue":{"value":{"amount":"+0.7677754163742065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738916$5D781594-5A10-47B5-8871-6536D0C1BF5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738916"}}}}}