{"entities":{"Q3644768":{"pageid":5674674,"ns":120,"title":"Item:Q3644768","lastrevid":50819642,"modified":"2026-01-15T07:21:00Z","type":"item","id":"Q3644768","labels":{"en":{"language":"en","value":"Model Checking FO(R) over One-Counter Processes and beyond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5632027"}},"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":"Q3644768$1B8F79E8-B73C-4BA7-A9FD-A01D9A1308F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9be69c4b6f9f80994c15335967bd84fb84e094eb","datavalue":{"value":{"text":"Model Checking FO(R) over One-Counter Processes and beyond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644768$3F75101F-FF85-4376-AB49-306EC4218A36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a31facc03265150907e331c1101f097514d60e5","datavalue":{"value":"1257.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644768$6271E168-6978-4A62-A52C-487E28335282","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf5bf7ce89cf47d43d8d7164dca0ca1f84a0bf77","datavalue":{"value":"10.1007/978-3-642-04027-6_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644768$F0A5DB3E-65CA-4C48-85DC-8FA1D6FCBB0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"075ff1882d125ce5f3148b22d79fa31bbefe7af2","datavalue":{"value":{"entity-type":"item","numeric-id":989555,"id":"Q989555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$956D53F0-BE11-459C-8B5A-6F76176B4FCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$A5E84E11-D79F-4E74-B99E-9D8498367357","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf6cafc2e90b526a4df9e96f2b96ab84218f45b1","datavalue":{"value":{"time":"+2009-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644768$1243218A-E8D6-4256-B697-DBA2A25625C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644768$6DAC8DC6-1804-4CEB-895D-75F76AF99FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644768$EB223F72-DD9C-45DC-B47F-D8D269FA5846","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81ed6b4007a572d27108fcecfe92ce33226ee12e","datavalue":{"value":"5632027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644768$7021FA65-0BFA-43BA-AEB9-21CF6A1E7288","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":"Q3644768$15FEFFC5-A49A-42CC-AF41-F09A3A6C7060","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29cd0cc3d7f5391bcaf97c50f322cc4ee13e69ec","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04027-6_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644768$BA13EB23-FE5E-4F9E-9B62-4ED7BC9BD2BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1445ebde747f1561e23b43cf8f3b8f62982d0d59","datavalue":{"value":"W1487351738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644768$F6E504BD-344B-4646-ABCB-617355E6CA5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe730f50f8ab7a9858ce71914dd2b4af8972b31","datavalue":{"value":{"entity-type":"item","numeric-id":3644790,"id":"Q3644790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$D1F2F002-B177-43BC-976C-4987A1526829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a419dd7ff0f3d465e478a0d405d767ee1f50956e","datavalue":{"value":{"entity-type":"item","numeric-id":917543,"id":"Q917543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$814DA722-37B8-43F4-9D43-E7449C392D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e902457964a312a605389238232d33897eb4c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$CD48F80C-8E9F-41C1-AC72-73A4136377EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$4A154AB9-812B-4BAB-AB11-B96607AA7122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$B8A25F85-F914-452B-940D-8A6799E758F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e7aefff09ec710390f02f7dbf4963123b68f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5310637,"id":"Q5310637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$B1651A68-5C38-4A0B-B437-F91AA9C0C862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035953d69d4ec28ba15a06a5e445473722bc5d49","datavalue":{"value":{"entity-type":"item","numeric-id":2380016,"id":"Q2380016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$14CFEE1E-279B-4942-974F-8128CED84406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd0b09c57824c9638982f3a6a26bc274f26c9b5","datavalue":{"value":{"entity-type":"item","numeric-id":1887159,"id":"Q1887159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$A799A554-6240-4AD9-8FAE-AEEC3CA30AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d3e1f632aa6a45772004d57104ad9109cf2f75","datavalue":{"value":{"entity-type":"item","numeric-id":2492014,"id":"Q2492014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$04DAA460-B345-4D17-A7CE-12F768624316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30f6e432ce9e9ae75031144ac1199e0b83ca0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1107309,"id":"Q1107309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$A552A6F7-DF73-49A3-B8D9-46CDC7A85947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcea1e3a363473e3605da5c965116c8dc9fbb6e","datavalue":{"value":{"entity-type":"item","numeric-id":2754154,"id":"Q2754154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$BE00D77C-4E86-4EBE-BDDD-F6E81994040C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ea81024e18bcbfdb88ca5f78f3a7addc2e14ed","datavalue":{"value":{"entity-type":"item","numeric-id":2432538,"id":"Q2432538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$C9D79C79-684C-4406-A687-7496ADB82A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$5F40E0AF-4FDE-4797-87BB-4D0D859B6494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c60ed09b0c0ca1a96c7e00714b2bd4f9551134bb","datavalue":{"value":{"entity-type":"item","numeric-id":5941100,"id":"Q5941100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$B774AEA0-C62C-4D9F-B4E5-0A3588EF783B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7a0be58f8dc13db4767cfe0acfeb5913530f9","datavalue":{"value":{"entity-type":"item","numeric-id":4508307,"id":"Q4508307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$72AB60DC-C7BF-46FC-B689-2076505FEFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$8D863E45-5FFC-480B-92F4-F27DE461ABB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883a21ee23033bf2a23596b16279552e579425da","datavalue":{"value":{"entity-type":"item","numeric-id":1186601,"id":"Q1186601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$41066D2E-13F4-41B5-833B-434326D93ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1548cb3c88cb78e09d1e21df11b259c1b6b89fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5277769,"id":"Q5277769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$792DFDE0-25E4-4D56-B20D-BC8A30249430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b8d231dd75703dab184a9e4819c4bc38b5e15b","datavalue":{"value":{"entity-type":"item","numeric-id":5899098,"id":"Q5899098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$07B0FD23-149C-4A66-9B4B-172BDA3ACB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7dffbbdf90a391dac0a2f8f00672291ae8293f","datavalue":{"value":{"entity-type":"item","numeric-id":5431297,"id":"Q5431297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$ED017EC7-26D1-4D3A-B6EF-D75E819AE6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91cf7e72951928e1c389d5eac1b54b2b28008ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5505554,"id":"Q5505554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$7FD39B9A-753B-4568-AFB8-77C39C34D8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ba6ee4184d1e83b23af04ea3e34386770ce9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$19D2167E-C275-4436-9C54-88DAF24DD199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$C1610F27-CC33-4543-A4B8-D8BD80AD3488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b032a2997dce3d24d5f060f0b0e69c1e993b514e","datavalue":{"value":{"entity-type":"item","numeric-id":5453498,"id":"Q5453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644768$3C443851-6EB2-4250-9493-FF4553CE2E11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d60e2c9544f0737d704ecf263d6583bff4381c8","datavalue":{"value":{"entity-type":"item","numeric-id":974117,"id":"Q974117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d3c65c950b72b9f1aec5ee1acf5495302d131b","datavalue":{"value":{"amount":"+0.8290007710456848","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":"Q3644768$A9769834-84F5-4297-B6DF-077B34DD87A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f4659435aa66f9a3a7953e9d325d025944994c","datavalue":{"value":{"entity-type":"item","numeric-id":3113767,"id":"Q3113767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf44e47b7ca76f62fa9807f65bb414b58a49fc47","datavalue":{"value":{"amount":"+0.813128650188446","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":"Q3644768$C22190C1-4D0C-4ADE-A1F2-17ADA6C58AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae3439238dce07549040208ac17f289271ed86d","datavalue":{"value":{"entity-type":"item","numeric-id":3460579,"id":"Q3460579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb9981080d68a9273dd4992df2e4d383906e7ab","datavalue":{"value":{"amount":"+0.7985760569572449","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":"Q3644768$D1CE5EA3-80BF-4939-A5D0-7CD5014449F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbbcb33e42f6f1d123e344f39790356f6881a45","datavalue":{"value":{"entity-type":"item","numeric-id":2848205,"id":"Q2848205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897bfa1bd6599e5f553d3fad48a8e2e5ea906629","datavalue":{"value":{"amount":"+0.7946879863739014","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":"Q3644768$AC711431-6B26-4786-9726-F00315453F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e75e552613afbb24fb2f822c3d51e8039103f331","datavalue":{"value":{"entity-type":"item","numeric-id":5458381,"id":"Q5458381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e88837d6e23ad7fae1ae02bca70db598223a522","datavalue":{"value":{"amount":"+0.784121036529541","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":"Q3644768$0B54FF30-00BC-4741-9B79-DE0BD4913B65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3644768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3644768"}}}}}