{"entities":{"Q4352530":{"pageid":6382129,"ns":120,"title":"Item:Q4352530","lastrevid":46949985,"modified":"2025-12-25T22:12:07Z","type":"item","id":"Q4352530","labels":{"en":{"language":"en","value":"Reasoning about effects of concurrent actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1057475"}},"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":"Q4352530$D6449FD0-159E-4AB6-8587-1C6489AEF5F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30b2ec4e559d03252ec350563a9a021246ba43f8","datavalue":{"value":{"text":"Reasoning about effects of concurrent actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4352530$6B511E90-DC74-406B-831F-07F78485303D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffe6984ba5d2da49aae97644640722b920d6e5a6","datavalue":{"value":"0882.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4352530$DB14F9A9-E814-4236-AD9D-D4A3568D0972","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5c975011c5bb146fb19a0eb1af3d4c0a32c3b7c","datavalue":{"value":"10.1016/S0743-1066(96)00140-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4352530$C87BB24B-CD1C-456B-BD4B-263D0AF44830","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4352530$2124F459-632E-44B3-AA32-F29B27DF2294","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28b9596eafbe4f7af330e206cbe61b9813bd2dea","datavalue":{"value":{"time":"+1997-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4352530$CDD38D7B-23C3-4AEA-A75C-EE0A3484BF99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4352530$8176413A-9CFF-4A13-B42E-CE77851D459D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"910ea1b65e672481936685f1843a678ff916e6b6","datavalue":{"value":"1057475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4352530$70B9A7B7-5F55-4BE3-AF24-8D49984BA45A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0306b492db63a70bde1d4dc70e7768a209a6ae","datavalue":{"value":"logic programming inference mechanisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4352530$9C5A0249-E2E8-4148-A61F-65771FE12144","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3230973ef852beb18e0210d27087e5da40c072a9","datavalue":{"value":{"entity-type":"item","numeric-id":1197386,"id":"Q1197386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4352530$3CDDC463-D12A-41D2-9CDF-2BEA5F848E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a55e7992ba2325dc2605c0f3257a8c929f491b6","datavalue":{"value":{"entity-type":"item","numeric-id":543581,"id":"Q543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4352530$B9C6A0C5-3DBB-412E-BD9F-CD6F011BA2B8","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":"Q4352530$146AB126-ABAA-406C-9098-9D46460BD172","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac407869d5efce6d8939591414c516cbee136cb9","datavalue":{"value":{"entity-type":"item","numeric-id":4934809,"id":"Q4934809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e66894f8cc99f7e0f95092803c40ac97ee5aad","datavalue":{"value":{"amount":"+0.8077380657196045","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":"Q4352530$C2F3346F-8206-437C-AF8D-D67035EF6BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1baa51f964472a83ddc375a07c99ce7123c25d","datavalue":{"value":{"entity-type":"item","numeric-id":1376091,"id":"Q1376091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f2f6ae43ad77f08c5012f4b5f562a5b5a98246","datavalue":{"value":{"amount":"+0.8053934574127197","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":"Q4352530$A43AF018-4928-431E-9B7C-B29D9B667664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c66f40f7c731dfb8d81d4e48833779f77226ba9","datavalue":{"value":{"entity-type":"item","numeric-id":4893671,"id":"Q4893671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a97abea92dc0059b4509403db8a57859348489f","datavalue":{"value":{"amount":"+0.8032761216163635","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":"Q4352530$6E989111-DF7F-42DF-B96D-935FEB2D2745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f8feae36e64604d397a6d332cb5c9ded4a5e00","datavalue":{"value":{"entity-type":"item","numeric-id":1277769,"id":"Q1277769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057af9128e6fcb43d06abd790506193c70870744","datavalue":{"value":{"amount":"+0.7894104719161987","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":"Q4352530$5DDD8CA0-B3CE-4F7B-8F04-7B50ADC18C5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4352530","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4352530"}}}}}