{"entities":{"Q1040334":{"pageid":1042182,"ns":120,"title":"Item:Q1040334","lastrevid":66011385,"modified":"2026-04-12T06:56:01Z","type":"item","id":"Q1040334","labels":{"en":{"language":"en","value":"Systems of agents controlled by logical programs: complexity of verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5637579"}},"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":"Q1040334$FCD5B49C-3E7A-4B3D-96AF-A412D3D58EFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08d9216846658ae523381122ab5df54a0edd8347","datavalue":{"value":{"text":"Systems of agents controlled by logical programs: complexity of verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1040334$AA2F7E40-0DBD-4213-A9AD-3AA7C4AD4E52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"beee52ca94129a41ddef6b31ba842ed21aa774ec","datavalue":{"value":"1187.68626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040334$7AC4D6AF-5F3E-480F-9818-8FDBF47B79DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a3bcf64860c679eb1604048fdd957a96b128751","datavalue":{"value":"10.1134/S036176880905003X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040334$8E2F27BC-7AA9-4941-8E0F-9317B1210E51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"217e04b644be17a7253c2f0262c438dcbddec45e","datavalue":{"value":{"entity-type":"item","numeric-id":1040333,"id":"Q1040333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$AC2AB3D2-F9EC-43D2-883D-A2C07BC7D735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d874dfe1a372a999a0303d43de3841e4b8a0ff0","datavalue":{"value":{"entity-type":"item","numeric-id":1039577,"id":"Q1039577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$F9CE44AC-03C0-41D8-BCE0-4703C32FEA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03f8c16379022e129ada1054f272bb0451727280","datavalue":{"value":{"entity-type":"item","numeric-id":1401353,"id":"Q1401353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$02D6E85D-B994-49E9-B74E-EC4A562B409C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$C54666FA-809B-4000-A3E0-CFC56FA3AAA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7802724d6393d9480215271c847488d3a99586","datavalue":{"value":{"time":"+2009-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1040334$3B93AD3A-95AD-4112-93D3-223073524998","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040334$A355B6E6-5F48-4B7F-BD78-B0155830FCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040334$31F2FF0F-5DBE-40A8-AFF1-CD2A09941FD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4730129ffd0c0b33877f8c8d3dca912a5169843","datavalue":{"value":"5637579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040334$2ECA7D0A-50F6-453B-B1C7-430AAE985946","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f70d300d184d2214c5f3fd1a77a24a9291c84ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18660,"id":"Q18660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$339EF447-8468-43E0-A517-63F6B9957316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"371406a043e069d30f6f1d468943360839c2befd","datavalue":{"value":{"entity-type":"item","numeric-id":18320,"id":"Q18320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$D0A0CD00-0A43-4093-915A-7049747F675D","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":"Q1040334$3FEFAFCB-4DC6-450D-BA5F-6D4290893B19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e30efab129134559ddabdd3ee6ee79e24608e99","datavalue":{"value":{"entity-type":"item","numeric-id":1401355,"id":"Q1401355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$E86E15A6-CA27-468A-8B6D-33F2C2FBB620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43fde56e1e88a9df4e820ead9cd6288e4d8f0c14","datavalue":{"value":{"entity-type":"item","numeric-id":2498917,"id":"Q2498917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$1CEDE156-C581-4E27-B165-EB35475DEFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d662deea76f1f0e44091a8cecd51bf648c780b7a","datavalue":{"value":{"entity-type":"item","numeric-id":1904643,"id":"Q1904643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$79C179D6-28DA-4A52-9EB6-DA379A4FE12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$9C825AD1-ED4B-4078-A6C1-9E4C970D65F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d3bdf285456fc5a5e0cdee8a10fc97d68f5279","datavalue":{"value":{"entity-type":"item","numeric-id":4536749,"id":"Q4536749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$EAA5A2A6-7D34-4187-BC36-210CA8AEFB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0870ff671a90d57fe35482ede04c0c5a32ea13","datavalue":{"value":{"entity-type":"item","numeric-id":4209291,"id":"Q4209291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$4DB32419-0C4F-4CD4-9AC1-008427EBC141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6babb4a8f91e0aa1d6b20fd807112d8a90f311c","datavalue":{"value":{"entity-type":"item","numeric-id":4739289,"id":"Q4739289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$30C1AF24-5B06-4BFC-9AC8-9A823131EA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa403d05eb4e969946a7d8ce22496b7d78c17bd5","datavalue":{"value":{"entity-type":"item","numeric-id":1978315,"id":"Q1978315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$9E0BA61F-C7ED-4F8D-8C56-B260A1FA8711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$1C652100-D4B6-4B03-B4AB-2FC634719D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$1B58222A-EE45-44C4-8E73-41B3094C7C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$5EC26E5C-0CEE-4BE5-966B-3D1DAAE8AF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c243869ba0963401792b9d55bbba80b8cb068d1","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$6D1BB39B-4B74-4932-A5D9-BCD3442E8286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$22AA7B84-E564-4863-8618-BEADAAA18E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$48199E43-CA31-4C40-ABC4-08226202C8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$07C80E57-FED9-4187-A4DD-674534D06399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$7CF58CDA-0E09-4D02-BA4C-C1DCD5211076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2bdaba3a50a6cdf7a15e01e13b7433db983622","datavalue":{"value":{"entity-type":"item","numeric-id":5486072,"id":"Q5486072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040334$81DD59B0-DF04-4E91-B7DA-8B0769291C6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26693e6c11a59be825f9cda0788fedb2869555cd","datavalue":{"value":"https://doi.org/10.1134/s036176880905003x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1040334$FA60B90D-B8E4-42C3-8F3F-592F6E3DE650","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"beacb2cfb9be7834d8e733ab85377970d9a17407","datavalue":{"value":"W2038759358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040334$BF958A7B-2EBB-40DB-ABAB-DCA5CCA21A29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9193d3cf0f1036b6a677ddb4a040c059f3a09ce3","datavalue":{"value":{"entity-type":"item","numeric-id":4739289,"id":"Q4739289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa0052c92c859cce23009b712bb46476dfc1ad4","datavalue":{"value":{"amount":"+0.91280526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040334$296E5258-E256-432B-96DC-B9CF7B0A1281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a41bd364839a2a7fe17958c3fe5b558bc3b486","datavalue":{"value":{"entity-type":"item","numeric-id":3188235,"id":"Q3188235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356c65c11183a98b6d6fbce7039b3fba452a0fff","datavalue":{"value":{"amount":"+0.9045117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040334$3190EBA1-CA55-4814-9319-A14E18D454A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce66b2124fac2dba105993fffe4889b32b4eb92","datavalue":{"value":{"entity-type":"item","numeric-id":5049036,"id":"Q5049036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0bb78c1ee55cd75b8da85c5f5a0cd9bc5789b1","datavalue":{"value":{"amount":"+0.89708585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040334$7D228C4D-0763-4FEE-AA3E-6E4AE5400DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea7ffdc85ecefa05a7baacca30052c1827d6f54","datavalue":{"value":{"entity-type":"item","numeric-id":2498917,"id":"Q2498917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71af2b7ca81eb07f8c360cbcad3ce184847e375d","datavalue":{"value":{"amount":"+0.89479476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040334$9DB59575-E385-4B80-8DF1-8DE330DDE198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee40760f3b925a19619e686cffdde8727e51478","datavalue":{"value":{"entity-type":"item","numeric-id":253980,"id":"Q253980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d2c4e337349daa0479787c9127d63bd5c9e9cd","datavalue":{"value":{"amount":"+0.88790447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040334$9206E6CC-4951-4634-9171-4D233957F9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c298a74c3b6197c6139fc762c7597a51541848c","datavalue":{"value":{"entity-type":"item","numeric-id":4925177,"id":"Q4925177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"479796672847ad8e0d47b49fc136848a45c82a42","datavalue":{"value":{"amount":"+0.884747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040334$25C6D2EC-A804-451D-9150-A1E9C0BB982D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590b87e9b0832573f7fb0785cbe114a492a2503b","datavalue":{"value":{"entity-type":"item","numeric-id":2372186,"id":"Q2372186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9005e553e2635c0aca935aeb5e3681305ce5903","datavalue":{"value":{"amount":"+0.8845148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040334$51DFD065-53CC-44B0-B3C3-6BFA719CD83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa67a9ac721f512940ecb4c524aac74fcb6f1883","datavalue":{"value":{"entity-type":"item","numeric-id":6133699,"id":"Q6133699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c115b37cb42e3c18b4ca59c0b424f450087d1f49","datavalue":{"value":{"amount":"+0.8827861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040334$F061285E-FB8A-465A-BD44-EE5DE948D0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c170c666fa9542e87351b0ccbf87d32db61ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1036066,"id":"Q1036066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70157eb6cb8c26fc53d9841b7d35dce75f3bcc56","datavalue":{"value":{"amount":"+0.88264066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040334$63ABA2E5-A078-4874-B824-A0B407FC8DA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Systems of agents controlled by logical programs: complexity of verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Systems_of_agents_controlled_by_logical_programs:_complexity_of_verification"}}}}}