{"entities":{"Q3517105":{"pageid":5547009,"ns":120,"title":"Item:Q3517105","lastrevid":50423726,"modified":"2026-01-14T00:46:20Z","type":"item","id":"Q3517105","labels":{"en":{"language":"en","value":"Deterministic moles cannot solve liveness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5309917"}},"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":"Q3517105$C0553E2C-D02F-4131-A33E-7F3E2A3CC5C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6715c05d5f086f4acc75fb17b35eb10252598091","datavalue":{"value":"1145.68461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3517105$55A4E402-AA50-4EA2-B8BA-6BEAC5981F46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e1f8f3031aaee7a3fac9dd5900057c3c871eb59","datavalue":{"value":{"time":"+2008-08-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":"Q3517105$EFF918B7-9F14-463D-93CB-FA8962164DA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3517105$3ADAD290-C983-4123-B550-16B235527964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e1c6b216424bb5086df3ada3920b26977f5004a","datavalue":{"value":"5309917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3517105$275A1059-284E-4D0B-8AC4-3CFB40E24D7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74776dcde08624b8a1c4b8c0c0366f992616f16b","datavalue":{"value":"one-way nondeterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3517105$58BFBCFD-FE23-48B5-8BC8-78B8F84F712B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ee7b2cb407552d3419df28b2bd41c9681ab5a01","datavalue":{"value":"two-way deterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3517105$BB68FE55-CBCA-413B-8112-526FA5C79282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a78c1d18ef24838aa51e433ee207c15ff219c8","datavalue":{"value":"Sakoda-Sipser conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3517105$5C153602-CC29-4316-A42F-90D898837F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b3ac5948a51082073fe08b55937180405a1900","datavalue":{"value":"descriptional complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3517105$75D4D5D9-FE92-4691-8601-E1515F138181","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddbeb99134c91d136a47eb42997e1a5cb0f9adcc","datavalue":{"value":{"entity-type":"item","numeric-id":1951582,"id":"Q1951582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3517105$4D1F3E41-04CF-40F3-8CC5-5AA14BCC8588","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":"Q3517105$CCED2941-747E-415D-BB6C-A5DA27A5F222","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54e7aaef799ae5d64485f247a80fab09dace5fe7","datavalue":{"value":"10.25596/JALC-2007-215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3517105$61954D8E-4751-42EB-AE39-08407D74BCFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9129ed557fccaf17113b1269577c329acefbcde5","datavalue":{"value":{"entity-type":"item","numeric-id":6163616,"id":"Q6163616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52214b9146f06aefee297e64ad02a2f469694961","datavalue":{"value":{"amount":"+0.7733153104782104","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":"Q3517105$83FFC65C-B97C-4A02-91C9-1C5E7DA671C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3b31ea465716882c790703fa9a7f2a874f77ea","datavalue":{"value":{"entity-type":"item","numeric-id":3451094,"id":"Q3451094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1a8e0c6a779bc43c317824fc9a9c41f56144e5","datavalue":{"value":{"amount":"+0.7496210336685181","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":"Q3517105$39DA5D03-62D0-40FF-ACC8-8CBF8F7A60A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08829542aebe50749ce2ec43d31edc3a0339ed55","datavalue":{"value":{"entity-type":"item","numeric-id":4640037,"id":"Q4640037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7492af5a126ace4bd1762a53489c8d6d3b49a68","datavalue":{"value":{"amount":"+0.7489005327224731","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":"Q3517105$B473D40A-0598-4709-BAD0-470A8E49B18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b675af575ccb12121c85ac644523eee81caed6e","datavalue":{"value":{"entity-type":"item","numeric-id":5495414,"id":"Q5495414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c22604b01d0d7f8b80363772c075af862154bcd5","datavalue":{"value":{"amount":"+0.697868824005127","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":"Q3517105$398D3297-6050-4DF7-9410-009395A3FE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4cb4ea9ee99c6f07cc5869d6327d58f8ac9129c","datavalue":{"value":{"entity-type":"item","numeric-id":2354593,"id":"Q2354593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15df93d9ff289ac7f485aa064a8a2a19182abdc1","datavalue":{"value":{"amount":"+0.6977114677429199","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":"Q3517105$819F98AE-06AB-41B0-9677-82873EEB0385","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3517105","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3517105"}}}}}