{"entities":{"Q3526543":{"pageid":5556447,"ns":120,"title":"Item:Q3526543","lastrevid":49103944,"modified":"2026-01-06T14:41:45Z","type":"item","id":"Q3526543","labels":{"en":{"language":"en","value":"ON COUNTER MACHINES, REACHABILITY PROBLEMS, AND DIOPHANTINE EQUATIONS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5346930"}},"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":"Q3526543$43A96E56-4512-485B-B1C6-D6A8F55F7ECF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcd2e5cc340d09e03b412f24acfcb2baaf661743","datavalue":{"value":{"text":"ON COUNTER MACHINES, REACHABILITY PROBLEMS, AND DIOPHANTINE EQUATIONS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3526543$35846000-0DD9-4C39-B302-435D2EA37CDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88f3e50f08c9875388fff362b4e24cd504b73a12","datavalue":{"value":"1164.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526543$8CEC8140-B9D7-4DED-AE1A-AEE635C4EED9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5062893ee7fefaea50ddeb6175587de1cae467ed","datavalue":{"value":"10.1142/S0129054108006042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526543$9F83171D-CA69-48D6-9FC8-90AAF03AED6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$6CAA9A26-4FCA-4E73-88CA-10E3FB0A9E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77e44c9d54d0cfc71832e715dc19584237ba4067","datavalue":{"value":{"entity-type":"item","numeric-id":243822,"id":"Q243822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$C10ED4F2-79CA-463B-87A7-05C341964FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa520355ad423c27c715b6a4ee9067c72ed2954b","datavalue":{"value":{"entity-type":"item","numeric-id":243821,"id":"Q243821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$837739CE-8A00-442A-A817-59006498DFF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$3E0BDDDB-0185-4DF5-AAD6-523D5C015BF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3526543$CD9FA59D-766F-4590-B17A-C9530CB39CC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526543$280482B8-7C9B-4A17-A88C-0D14D3F38FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526543$01F92791-E7C1-4765-B0CB-7BB256FE950A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526543$41D9860F-1B61-4478-839F-67C6673C96B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526543$BFD16A3B-8F55-4DC4-995A-A4B0E236592F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526543$84EA1B6D-6AC1-4C6D-85FA-CC1D77DB6057","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f2324e9194284184eb14257169f86c629be5428","datavalue":{"value":"5346930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526543$35AE0FE1-ED67-47D5-834D-AA6D197E3633","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb9a3d813980d534d0d4ccd63546d6dcae819e1","datavalue":{"value":"reversal-bounded counters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526543$0DFD4917-B32E-4BD6-9C00-BF335A1F2917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526543$6B8C50FF-547D-46BF-8261-DC786467D858","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":"Q3526543$7EF1A915-AFC4-4929-BF65-223BDA011E8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$3DF7662B-0977-4495-8138-23B922B939BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$ADE4553B-5602-458D-86F2-18E4544FB6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$41CBF09D-5E68-43EB-BE39-842F6DFC7186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4350892d7df19387ec0804bd15d8a9dc062b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1151753,"id":"Q1151753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$01D6CA28-14BE-4574-B4A5-425793C036FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16bcbc18fd74a19ac9a32b503ccd2e7113abd46","datavalue":{"value":{"entity-type":"item","numeric-id":3960829,"id":"Q3960829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$9A7B6AAE-5D92-40FB-9E4A-2DB438BCDF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ceffff1a02b5a4047bc8ae2d910dbd760b2f586","datavalue":{"value":{"entity-type":"item","numeric-id":1212796,"id":"Q1212796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$1642C586-EC98-4858-B59D-BF858B0EFFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$0E04C0A5-F496-404B-8A08-356D7B95492B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3373c8fa81e763c7b84568b1d121432826d2f13b","datavalue":{"value":{"entity-type":"item","numeric-id":1884954,"id":"Q1884954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$C5D648DB-242F-446F-B8A0-F17B980534D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd3b104146262e848da37787566da8917596264","datavalue":{"value":{"entity-type":"item","numeric-id":818150,"id":"Q818150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$E6D24FFE-C6A7-4786-A61A-9B50A4621C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6744bcbd69b98e127a086f2b384ec2b564fb3bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4326857,"id":"Q4326857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$09FE5B85-4300-4530-A794-54D2498C9F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40359969f4f5859125eed64808cf617ffbded116","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$6384121C-4333-4E66-94C7-3DB5A8F4E734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526543$DE5E1205-FCC0-4BF7-AD0E-5630EABA9B5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75cbba724c23b279a0bd9d2b90970bdc98e8c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5878899,"id":"Q5878899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0190cb8cdfd72690293732f5f288b93ef4ff4edd","datavalue":{"value":{"amount":"+0.8975389","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":"Q3526543$BCF0A30D-4418-438F-82D9-DC6D009DADE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03623fda6cd17a56f45755a08323e72f6f063f2","datavalue":{"value":{"entity-type":"item","numeric-id":4536378,"id":"Q4536378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7e158daacd4179c7a3b8aed5c360aa400d0434","datavalue":{"value":{"amount":"+0.87347704","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":"Q3526543$12A27821-EDE7-4439-894C-B2E6A7A5CBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a85dfd528d50187df3839d711cd49d03bfb94f4","datavalue":{"value":{"entity-type":"item","numeric-id":3210174,"id":"Q3210174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2c6eca4d5f049a1674760caf9e0ac6d206a9d9","datavalue":{"value":{"amount":"+0.8724471","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":"Q3526543$794EF12D-C88A-46AD-9A4A-13C2DA7BFBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045a7ac19aac1d401e167f9a56d8baf6ee9f7d44","datavalue":{"value":{"entity-type":"item","numeric-id":3207033,"id":"Q3207033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f5b639856fedc3844a8c808304f3218092cc4d","datavalue":{"value":{"amount":"+0.8718961","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":"Q3526543$8FB29683-2EB7-4CEC-8535-D0C1B5B6C1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac8ad4f3338c3680286aa1498be35a2a0c0e6e3","datavalue":{"value":{"entity-type":"item","numeric-id":5917948,"id":"Q5917948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b595d07a386fd457346af1ce3932a6ba9b754c","datavalue":{"value":{"amount":"+0.86818665","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":"Q3526543$145FA0FD-803A-4AEA-852C-6AA6491A1E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42955356a2772181392673f3260f6f184c49927","datavalue":{"value":{"entity-type":"item","numeric-id":5892524,"id":"Q5892524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b595d07a386fd457346af1ce3932a6ba9b754c","datavalue":{"value":{"amount":"+0.86818665","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":"Q3526543$0FCD2981-E096-4066-81FC-DF7C0DF9702C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf556f9ad8f0628a8561df560d7278295742618d","datavalue":{"value":{"entity-type":"item","numeric-id":6091196,"id":"Q6091196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e46c1d6e1b87dab8a735be2387db3307696a8afd","datavalue":{"value":{"amount":"+0.85961276","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":"Q3526543$00C3F9E5-9C43-48BC-9350-2383CB484BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a6e44b8f6319cfa197528495a67cc7942a1711","datavalue":{"value":{"entity-type":"item","numeric-id":2978526,"id":"Q2978526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1cd9a8560dfaae7e17cc7f8c915883edc664ca1","datavalue":{"value":{"amount":"+0.8569019","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":"Q3526543$F9C3FA1B-4715-4E8D-89D7-0475C812246A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165b2cfdc1cc2b4a452dbd327e4ca6739d80b368","datavalue":{"value":{"entity-type":"item","numeric-id":3734384,"id":"Q3734384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2443c3881810a9127531c749434ad4e27ed9ed86","datavalue":{"value":{"amount":"+0.8545854","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":"Q3526543$E8515A6C-7E26-4200-ACED-139459B4571E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547d3599ea616c8d037b213c5c151bbc3430d426","datavalue":{"value":{"entity-type":"item","numeric-id":2390295,"id":"Q2390295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099c1fc01bac3a03f8d1c0a12f1a1eb585d14632","datavalue":{"value":{"amount":"+0.85369194","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":"Q3526543$00C8E1F5-C2A0-471C-8D61-632150D4E518","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3526543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3526543"}}}}}