{"entities":{"Q1675152":{"pageid":1685893,"ns":120,"title":"Item:Q1675152","lastrevid":71880261,"modified":"2026-04-14T01:09:02Z","type":"item","id":"Q1675152","labels":{"en":{"language":"en","value":"Synthesis problems for one-counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6798769"}},"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":"Q1675152$D59E5FB6-7EDB-44CD-AA03-F96DAD89F8D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3df96602001c73be0a725b81f918eab3e36fadd","datavalue":{"value":{"text":"Synthesis problems for one-counter automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1675152$1772DA8D-C2C4-47F7-81C0-7A2FAE05749F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9c2cb970010b5ca6c49963b9cd1672dfc0cf65e","datavalue":{"value":"1471.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675152$416DB1CE-DEC6-48C4-AE3B-53B69B30A520","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bd7544e37eaab42f80014562eb44cd2ae4793e5","datavalue":{"value":"10.1007/978-3-319-24537-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675152$62B7441B-DC0E-499F-986A-4213DC555798","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"095bd0f30e4456adebbda917f5236e32cbdae59a","datavalue":{"value":{"entity-type":"item","numeric-id":1675151,"id":"Q1675151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675152$70C04602-3513-48FE-9A37-C29D9AEF607F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8feeb1cca2d914464752fa09fbf4f8c1020610b0","datavalue":{"value":{"time":"+2017-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1675152$BE761389-99EB-4BBE-824F-8A88E4B5EF4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675152$E447CB6E-7F0C-49E0-8913-11001C30688B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675152$4F3DBE92-CE0E-4567-8F7C-D7141E64495A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675152$52494AAB-7B33-4BCA-94B8-B9990AFDCBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675152$8C9B4570-7F36-4815-AB26-70684A8E9C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675152$01424ACF-48F5-4E0E-A07E-2C16A2CD7DEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee2e9fc6ba4368ab4b8a6218b587f3ce7f071087","datavalue":{"value":"6798769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675152$1DD7C37E-1FDA-450A-859C-64B9D2C4942F","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":"Q1675152$EAE650BB-9676-4423-B0EA-E0E1CD4F56FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf204399f9bbe2b107f1229a992a2bfe6b503af9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24537-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1675152$D6AD78AE-FA5B-4AC2-98AC-4B368024C709","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91fe6d2300400ff4e668a64b0ee558d1af02cd90","datavalue":{"value":"W2401071683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675152$2AA7BB02-2448-4BE8-82ED-803E69FA3512","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3525b396911526382ca172344274aba8bfce0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4571131,"id":"Q4571131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8fba54210330b47e3dd82439fd50882bcdfa65d","datavalue":{"value":{"amount":"+0.7953778505325317","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":"Q1675152$818AE49F-1532-4EE2-893D-BBF5EAA8E9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f52b641a8f0895d74b80dcb8113d8154802fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2894282,"id":"Q2894282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4414c361e04c350bdb11dce2974fd8f57421f2c3","datavalue":{"value":{"amount":"+0.7858349680900574","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":"Q1675152$7F7AD611-A4B0-4CD8-9310-681CDC72DA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91dcaa2e771d20e6a063917d5340af83910eb70c","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b20ff1f7f706cb43782fd4976148ae89fe4f1f","datavalue":{"value":{"amount":"+0.7829752564430237","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":"Q1675152$5B5D0B9A-FDDD-49C9-815B-7D12D2C037B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8942904f6c464f3014d26e638cf62cfdcb7af57","datavalue":{"value":{"entity-type":"item","numeric-id":3587469,"id":"Q3587469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c20cca7134f7802eada0e191ac204ad82d038a3","datavalue":{"value":{"amount":"+0.7785053253173828","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":"Q1675152$64D12678-C291-4545-91E8-FCC47A6EAFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deafc2c712f7a0987b5378bb41eadefc977083e0","datavalue":{"value":{"entity-type":"item","numeric-id":5404478,"id":"Q5404478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e6f3ae2ff79edda043f1cdffdd78ed5381d29c","datavalue":{"value":{"amount":"+0.7698763012886047","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":"Q1675152$621E70A2-3B31-4800-A89E-140606FE6D49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis problems for one-counter automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_problems_for_one-counter_automata"}}}}}