{"entities":{"Q3450095":{"pageid":5206108,"ns":120,"title":"Item:Q3450095","lastrevid":87226928,"modified":"2026-06-04T11:09:06Z","type":"item","id":"Q3450095","labels":{"en":{"language":"en","value":"PSPACE-completeness of the problem of checking the careful synchronizability of a partial automaton"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6503306"}},"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":"Q3450095$0167C58A-B983-4F1E-87F7-C647658B7155","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d84c666d8c1570964395a6d47061fb75f48fe0da","datavalue":{"value":"1323.68343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450095$878FF57F-78A2-45EA-BE16-937EAD366BF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5fe9be196c4fbe8f7eee6852c897740755bdb5a","datavalue":{"value":{"entity-type":"item","numeric-id":442133,"id":"Q442133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450095$D6394D3C-2545-42E8-BFBD-FD019B8959E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49c905baf0f1483cbda0527efa721826b9ca8c8f","datavalue":{"value":{"time":"+2015-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3450095$9A4FAC1B-AED4-47F9-B0BD-34F93C8D9C01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450095$ED0C2084-5C18-4D68-835E-596C5780A507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450095$9104A1A9-CB9F-473F-943C-D782D10F05D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea5dfd7e78a1438ba415265b3734a48d0ccd511d","datavalue":{"value":"6503306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450095$A3EDCBF9-5380-41D7-A447-CD6275ABC6E8","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":"Q3450095$0F648EAC-F600-4755-8107-3634ED2CE2BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba655a170d937c1434611a65519c33efebe1c35","datavalue":{"value":{"entity-type":"item","numeric-id":1678755,"id":"Q1678755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adef99e2fba423f5217fc4a78ffa8037dde34f7b","datavalue":{"value":{"amount":"+0.8917542099952698","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":"Q3450095$874F6EC2-DE5C-45D5-A532-15563B705B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9da832c6065b9f2d4eab52d5ba88575498bce6e","datavalue":{"value":{"entity-type":"item","numeric-id":2914716,"id":"Q2914716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c6fc95430d322d03e51f5134099adf09b15937b","datavalue":{"value":{"amount":"+0.8727616667747498","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":"Q3450095$CDBB08D4-E3EC-4100-AE65-6C8AC5010BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd548a76ebf254ae7e847ea7ea695442df91711","datavalue":{"value":{"entity-type":"item","numeric-id":3569754,"id":"Q3569754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2751af40124928c34ca28f3aec34c169cf67dac8","datavalue":{"value":{"amount":"+0.8605948686599731","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":"Q3450095$0CC57CFA-2F48-461B-ADEA-9C76D3EBC280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ef63b9bfcd552e807fd3da4ee565d73539f0ed","datavalue":{"value":{"entity-type":"item","numeric-id":3091460,"id":"Q3091460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2851cd5e0c249abb412d2cba106e9f3ac76a39ea","datavalue":{"value":{"amount":"+0.8407498002052307","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":"Q3450095$77DCF584-429A-47CC-BB0E-41F4B84CF6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71b34dff235192f63b46edd2e38ac54a08d6733d","datavalue":{"value":{"entity-type":"item","numeric-id":5496198,"id":"Q5496198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d055e86cc61552d89ddad5fc289b7efca19304d8","datavalue":{"value":{"amount":"+0.8162626028060913","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":"Q3450095$8C948112-F493-49EF-91BB-2F219DED6D26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PSPACE-completeness of the problem of checking the careful synchronizability of a partial automaton","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PSPACE-completeness_of_the_problem_of_checking_the_careful_synchronizability_of_a_partial_automaton"}}}}}