{"entities":{"Q3323260":{"pageid":3333968,"ns":120,"title":"Item:Q3323260","lastrevid":87235265,"modified":"2026-06-04T11:10:18Z","type":"item","id":"Q3323260","labels":{"en":{"language":"en","value":"Deterministic process logic is elementary"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3854411"}},"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":"Q3323260$3C992A3C-21CF-4384-B6CC-50AFCEEF2826","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51c814339a35180d15d6a91d0a3b6edccc7c6b45","datavalue":{"value":{"text":"Deterministic process logic is elementary","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3323260$61846042-528C-4817-A0D5-D0235CDBDA8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"751df1c628bb8d27285f18e1f9821b21a78db5e1","datavalue":{"value":"0537.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323260$A0ED1D62-23D2-4BDA-8B52-28ECF6B2F695","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4431359977e87c3bf78b73bf09d0837e86fc732","datavalue":{"value":"10.1016/S0019-9958(83)80025-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323260$FBFC995F-7CD8-48F1-AC15-A683366FEB7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3323260$E29E973A-B01D-42A8-90D8-8D5AB6EA8FC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3323260$F93ADBF7-C345-4B8F-8E6E-A5B07DFD3946","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3323260$9E9E3FD0-B7C6-4AE1-B24F-E07F47369694","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323260$D7E7056D-BD1B-4EF9-B342-0249D0E56FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323260$AADCEAA4-EFD6-4896-8F5B-40CFCED15B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323260$BD4FDAEB-4DEF-4302-9044-FBF6727234BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323260$9AA9659B-4264-45FC-8E9C-766A92E8AFE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3def0579ebefe90f5c2aebcd3e1ef050a81134d6","datavalue":{"value":"3854411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323260$C536126E-903D-42E4-8C30-F3E26AD8F53C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0fce99cfc0fad41b12fad52370d7608faab737","datavalue":{"value":"elementary decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323260$C6F86118-2558-4CBC-A52F-6D5DC6EB9C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2f694cede63e1719581b518082949d2f1b69ae7","datavalue":{"value":"Propositional process logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323260$723A9949-FC93-4626-ACDA-6DB90BC781C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323260$5F164004-CEE7-46DE-89F4-6D0EFDB4361B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66f7f6aba49072e7a8377b5c55a3635b8d59dc65","datavalue":{"value":"deterministic exponential time procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323260$9170FC48-B943-4C4C-8C12-A551DF0EAE78","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":"Q3323260$9465F59E-B8F7-4E6A-B595-B1236D5B8560","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662f513c1fe02d885b44f5224b251af20d9f189","datavalue":{"value":{"entity-type":"item","numeric-id":2842601,"id":"Q2842601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1745ad5c76e9d475b76db1ca89087b06f175ce34","datavalue":{"value":{"amount":"+0.8507847","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":"Q3323260$E3C7F115-D7FB-40CD-9E40-6D6405606945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e550bec8b8621b93d4aafb697218b696c3e7df9d","datavalue":{"value":{"entity-type":"item","numeric-id":3686025,"id":"Q3686025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb221391bac6fc9b42752f81d7a3553b4abea74","datavalue":{"value":{"amount":"+0.8417938","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":"Q3323260$AB2EC475-9C3E-42CF-BC53-A92AE2AD69E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71178b8aff7c58ed96d5ee946c554d9931be5c75","datavalue":{"value":{"entity-type":"item","numeric-id":1861137,"id":"Q1861137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b6971ee5053510c30985c7a5b47921f9feefae","datavalue":{"value":{"amount":"+0.8342384","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":"Q3323260$DAB5585D-D026-42F8-BBC5-C964F8A3B890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1eb3fee6fa665c4bb4f7f9313b9dcbd1884168","datavalue":{"value":{"entity-type":"item","numeric-id":4260381,"id":"Q4260381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5de528ef1d4a7a12c94cffa06bd4237ad6ec2d5","datavalue":{"value":{"amount":"+0.8302343","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":"Q3323260$13BA9536-E13A-490B-BC41-F8871C00E86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe48f48d68bcd26bd1dbb44897eb4e6e5f7d7f51","datavalue":{"value":{"entity-type":"item","numeric-id":3734373,"id":"Q3734373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e094b50dbd5c41c453317c01ab2dec3214bfec","datavalue":{"value":{"amount":"+0.8246774","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":"Q3323260$76F1D83F-12ED-4362-BFC9-FCC525D037A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad6a1af97b6f9496c6692ec2de83c1e9ea415b8","datavalue":{"value":{"entity-type":"item","numeric-id":3772188,"id":"Q3772188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbabc6c8ed77c50c16b1ba7d3853c3d9a1217139","datavalue":{"value":{"amount":"+0.82467735","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":"Q3323260$EAE4F7E6-E8A4-4A8F-84A0-16189DA98300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c81a0762ea02fe180ae28bbea5717823f5defa","datavalue":{"value":{"entity-type":"item","numeric-id":3343422,"id":"Q3343422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc5f91157aa45cf1031238e3492c9dd241d67b8","datavalue":{"value":{"amount":"+0.8222053","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":"Q3323260$95C94C14-1A43-4C04-A444-FB3E54AB90AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857ef8f553bc3e25748e146ad8215d2adbcb6bd3","datavalue":{"value":{"entity-type":"item","numeric-id":1092892,"id":"Q1092892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5a6ca0d44425e51b97704a4c27e980f243d541","datavalue":{"value":{"amount":"+0.82151157","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":"Q3323260$0A88D2EA-2F1C-450C-ACC3-06107D827893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73deb6edc1747f5fb84f12770917470a23283ad8","datavalue":{"value":{"entity-type":"item","numeric-id":3790632,"id":"Q3790632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a683d1d639042a8cafaa78af474835fb46998fa1","datavalue":{"value":{"amount":"+0.8212367","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":"Q3323260$D401C4D8-77AB-4506-A307-F616EF951EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a8023a06b1949ae37b6040f633818151342f49c","datavalue":{"value":{"entity-type":"item","numeric-id":2851914,"id":"Q2851914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf92ba76278c0fbcabaccf15f21c1af06cb7161","datavalue":{"value":{"amount":"+0.821215","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":"Q3323260$257BEC6A-CBC4-433D-BDEF-9E8200161B82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deterministic process logic is elementary","badges":[]}}}}}