{"entities":{"Q1390955":{"pageid":1401695,"ns":120,"title":"Item:Q1390955","lastrevid":70315965,"modified":"2026-04-13T13:56:56Z","type":"item","id":"Q1390955","labels":{"en":{"language":"en","value":"A first order logic of effects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1177660"}},"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":"Q1390955$C94A482B-E783-48C5-A81C-8756002DDE96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"949e42588e7f0479e77e749b786ade57779bafd5","datavalue":{"value":{"text":"A first order logic of effects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1390955$7F709FB7-6A5E-435D-817D-4106F4F8D283","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68c6518829f9ceb38abf0ba7f39fc9aaf5908186","datavalue":{"value":"0901.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390955$F668EE8B-BA45-4205-B0C1-DE641541D9F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f013d5081d5db0ca6baf812d25d0af30d39010","datavalue":{"value":"10.1016/S0304-3975(97)00047-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390955$31BB54AB-3132-4BDB-B837-D310B5FA154A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92b917b4b1f15c6d190a36e7f0ba33b1c478458","datavalue":{"value":{"entity-type":"item","numeric-id":688569,"id":"Q688569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$0BFCE321-8444-4278-814A-949E462B99AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$2B3E12A1-A3A5-4CB4-AD42-04C2A8639680","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04855ee36d302f814b50229947d6c78840861251","datavalue":{"value":{"time":"+1998-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1390955$DB9A4C57-F3FD-493B-A303-B9846FA77536","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390955$00AECA44-D8E0-4FDE-A293-80364851924F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390955$2A420400-C5D1-4AB2-98B2-A85FD1085135","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8c49aaa50d457ffafe87ae20d968eeee130e64c","datavalue":{"value":"1177660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390955$9FE76DAA-4355-403F-8EC9-8495EEA20AB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1390955$E9129340-C08C-4092-A1FB-F1121EFD77CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1390955$99F1A095-361C-4530-A5A1-D45ABDF32B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae35e3f0c0581443c3dbdf431aaa5a7a9a83634","datavalue":{"value":"contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1390955$1176A65D-40B4-44FD-B891-2F38098C0078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1390955$7D4E9B08-E0C6-4517-A602-C1ED450F5D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1390955$24B8641D-2EBE-4659-B1B3-80B7DC71837C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b39bcd33ba55d4227ecae1456f6e1430405ab2d","datavalue":{"value":"programming logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1390955$10A9ACE0-71A4-4471-A758-FEA1F6AE3232","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$15A59AA1-6342-4EA3-997E-041BCBEAE83C","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":"Q1390955$8BAE9F97-7775-434F-99A8-753B8F46F6C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64008b4c107ef7e4a7969f67350470b1da25942a","datavalue":{"value":{"entity-type":"item","numeric-id":3686011,"id":"Q3686011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$73DA9BC8-4AA1-4011-A9DE-74168979D845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$9B8E2443-31FB-4F8F-A827-E2B884135D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$08394AB8-6FB8-4BD0-984D-6D5C2DFBF89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"549d0031328335eeadb553d8d00ea4f734879007","datavalue":{"value":{"entity-type":"item","numeric-id":4339018,"id":"Q4339018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$3028AE37-3889-4A42-A891-367EA6156797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$2C772DC8-9A4E-48A2-8FEE-C75BA877923C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$4D372D5D-6C65-4454-A280-F3986AD0A404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$7037638A-4C13-4705-B206-9B18503326C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3388dbf970b789a6ce9f4583132b9c0ac558fd58","datavalue":{"value":{"entity-type":"item","numeric-id":1813498,"id":"Q1813498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$EAD13785-080D-4AC8-B1AF-A01DCD7579E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$17A25AAF-0C51-42C5-B8C0-B5E8B5C27852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6ea593319c3a92c989573a001f928c1d6ba2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4018065,"id":"Q4018065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$71DF8A59-9411-4DA5-B0F1-9C0DF134237E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$7905E903-E8FB-46AC-B97D-E399FFA8CE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$D7C8B49B-2DBD-4F6E-B942-F525B27B9E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61ddd64788745be925c7c4cbc9948dfa31aeee1","datavalue":{"value":{"entity-type":"item","numeric-id":4723729,"id":"Q4723729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$6D4E15C6-8A14-4DE3-847F-9D67AB59671D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab28a128d06599b12bbfda72007f018a92bc5270","datavalue":{"value":{"entity-type":"item","numeric-id":3478384,"id":"Q3478384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$BE578ECD-200C-40A3-A47B-B80CB0498DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$00A5805D-4AAC-45FC-8213-2994A8314ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$F1E5D8A4-BE48-4B44-B299-00CA6BAD10EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b38e98888b0fc58d39156f5c1e2c1e2916b510c","datavalue":{"value":{"entity-type":"item","numeric-id":4283243,"id":"Q4283243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$4BF9B6E6-7120-4E68-AC32-ED5975336F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98daca76c57e932f6dcdc1d20bf8bc0f7e0881e","datavalue":{"value":{"entity-type":"item","numeric-id":1893729,"id":"Q1893729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$4232BCA6-168F-42BB-AC18-448C12A12B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f78fc51f9aceb65ac02621ae7fb151f325ac295f","datavalue":{"value":{"entity-type":"item","numeric-id":5096215,"id":"Q5096215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$16850E28-C881-4375-B52A-AF1B6B24D432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$258F809A-B8B2-48C1-BDE2-B467857210F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$43609554-0BED-438C-9DDB-42C7D1C8B51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920df49df97b76b4d510cfac828b9a04cb03a37","datavalue":{"value":{"entity-type":"item","numeric-id":3992705,"id":"Q3992705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$7945DFEC-F0D8-48B2-84BD-676FD353E483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28698953c4e8520dc78875a42ac214e8f43cd564","datavalue":{"value":{"entity-type":"item","numeric-id":5753940,"id":"Q5753940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$9243F758-F1AE-4BCB-84BB-4ACBB766CC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$BCC2EEA1-E11C-4BA8-A205-DA29D860A6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6abbfa92a0a5ae68ef1d6c67743852e1ce1230","datavalue":{"value":{"entity-type":"item","numeric-id":1196301,"id":"Q1196301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$8BB2EF69-6517-4129-A190-66AEDE2E4879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0a6b10a633b15b482dfacc8bb9cee4eab0041f","datavalue":{"value":{"entity-type":"item","numeric-id":1320416,"id":"Q1320416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$3C8D55FE-96E8-45EB-978B-ABD0798049B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe998b493b456504d147a055f559e7371426a4e5","datavalue":{"value":{"entity-type":"item","numeric-id":4853340,"id":"Q4853340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$F641E797-1BD8-4F49-AB69-0C9E8AF717FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$695D049A-468A-403C-A111-679BC433B291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$997165CB-BE69-4031-920A-45AC7F3AC939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$01F7F06D-17FC-407F-93DE-D6522A5EFCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$69AF4F9D-EEA7-4595-9E3C-3A073A15B916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$899A0E93-DC26-4C50-9720-3CFF82921CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acea76b85bc7bf26ae9cf4f5e9a5a8039faf820c","datavalue":{"value":{"entity-type":"item","numeric-id":1055409,"id":"Q1055409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$25EF522C-7B0C-422B-A6EC-9AD09DC2FEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$9FA87CD9-EE56-46F1-AD5D-981469992B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$6A18B240-CDAA-4B3D-A71B-696D4784DA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$2AEE047D-1068-4C78-8E6C-2C0A7C39F2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227e9d849ae461bb201579c713beb808833f0221","datavalue":{"value":{"entity-type":"item","numeric-id":3673065,"id":"Q3673065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$765AB8DD-BD1C-4EAF-8BC7-E10F2291D9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4236739a950d165f13312192f7a3e5c8571a97","datavalue":{"value":{"entity-type":"item","numeric-id":6116563,"id":"Q6116563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$6C7E7929-4DD3-4FA6-9BE0-D0A2BF003DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71309703cafdc6a2bee46947af1f6675dc007ad","datavalue":{"value":{"entity-type":"item","numeric-id":4016565,"id":"Q4016565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$DE9AAA79-96CF-4886-9ABC-E8ED3FFDA748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468692debccfc910cfc1eb32fa65c236cfc17516","datavalue":{"value":{"entity-type":"item","numeric-id":1199933,"id":"Q1199933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$EE234B6A-AA37-48E3-8E45-2C2038D1E41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a23b5f1b883353db1792da9968220a0c1143a3","datavalue":{"value":{"entity-type":"item","numeric-id":685380,"id":"Q685380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$81C0502E-B5D6-4DFB-9C58-D39329DB1232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31507ada159b0603f102dbb8c9c50cfc19f08e7f","datavalue":{"value":{"entity-type":"item","numeric-id":2704331,"id":"Q2704331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$3DE84B6D-2DA7-4107-8F20-63E0D3D0003D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d1d8fb42339a481de309d10a4b5b6fb7e49eec","datavalue":{"value":{"entity-type":"item","numeric-id":1140436,"id":"Q1140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390955$4DD7C6D9-0050-4432-AB3A-C598F70706E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1eaef20af2c7e22b7b5e7baf9e1dbbd39f62bb39","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00047-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1390955$BCC86A2E-4EA6-49D7-897B-153213C96D51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6da6a0af45237953645ced9a0f729de54ce7af7","datavalue":{"value":"W2088336357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390955$D8D9FDA7-5BBD-474D-A055-D68D00F6C7B6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"567a6961797fc244793535f8c6528ddda5744654","datavalue":{"value":"Q127498904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390955$55990D72-3DC6-4D65-AEF4-83E1E9268D9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7d746dd1c0d94473a10fef0e8cb6d8c93ce4b2","datavalue":{"value":{"entity-type":"item","numeric-id":4283243,"id":"Q4283243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dafd9056ca7fa3e3b517b802a56c339c67637434","datavalue":{"value":{"amount":"+0.7761783599853516","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":"Q1390955$F65014C0-E684-470D-BCA0-14690183D3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4dd75328b322355603990b572c8994101ccf0a","datavalue":{"value":{"entity-type":"item","numeric-id":1893729,"id":"Q1893729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1ebe790b52fe4506c9901c036c8f10d89ce4c9","datavalue":{"value":{"amount":"+0.7744551301002502","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":"Q1390955$E4DE7241-C698-4582-848C-FE42D3E74B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36e30c473efe86fbb830e5ed990880d4f822f57","datavalue":{"value":{"entity-type":"item","numeric-id":1318281,"id":"Q1318281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894ddbcde76ffda2089036b1126ce3cab3d6c936","datavalue":{"value":{"amount":"+0.7522143125534058","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":"Q1390955$8EF613FF-B0B4-4D64-9058-9900DB19EFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f023a2e0d82622a4ef785b7fdbf2a2c57db9b1","datavalue":{"value":{"entity-type":"item","numeric-id":4015484,"id":"Q4015484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370e9599c0c54e73f3a4158f4a27fab6d63779c7","datavalue":{"value":{"amount":"+0.7450209856033325","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":"Q1390955$D5AD7E88-5E2D-46A6-BDEA-C1C908649873","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A first order logic of effects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_first_order_logic_of_effects"}}}}}