{"entities":{"Q2760243":{"pageid":2770982,"ns":120,"title":"Item:Q2760243","lastrevid":47716192,"modified":"2026-01-02T12:38:48Z","type":"item","id":"Q2760243","labels":{"en":{"language":"en","value":"Equivalence and preorder checking for finite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1684398"}},"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":"Q2760243$652B00C9-BF49-42E4-8B81-86466624445E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dd5fd998324b233b93441b7773f540b8d5cd8cb","datavalue":{"value":"1020.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760243$E843995C-9B4F-464E-9675-BA9535DECA08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760243$65BA8831-0568-4CC4-A342-C1D1BED71B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"362931b727102df5fedb6a28265dcdd6af53f427","datavalue":{"value":{"entity-type":"item","numeric-id":234683,"id":"Q234683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760243$BB03723D-A4FA-4609-98F4-A7AF48B801FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d53cc9b739d076778b9207d322c3b005b7ae83bc","datavalue":{"value":{"time":"+2001-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2760243$4E5137A4-8CED-4C11-A545-E01878D55E3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760243$1D8616EA-733C-4D64-ADBD-600B0E83580A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccdbc4b4613029fe4acef5388bd6fb5c5ac0642e","datavalue":{"value":"1684398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760243$6020FBC4-6929-4B59-9596-9E50EED4C361","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e8b43431268f67f3d3261502b214dc7d8163ffd","datavalue":{"value":"partition refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760243$E4B86CBE-76E1-4E8D-AC21-262F89ED1EB6","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":"Q2760243$BEEC1113-1C5B-4356-95C9-E6ECF9CB541B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc322a6717a5cee54b293b8550b8bdb098f30421","datavalue":{"value":{"text":"Equivalence and preorder checking for finite-state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2760243$23ED1F98-8171-458E-8F49-35BBEC065B50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57833c07d14ebbbb8657494dc142f18b5825a257","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f38e18f521d468ba188a2b563402877a8f9314e","datavalue":{"value":{"amount":"+0.78267502784729","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":"Q2760243$00B57754-40E6-4EAD-903B-B2F532E5FAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d71ddcad81550a2a2bc3dd13db6e154775480a","datavalue":{"value":{"entity-type":"item","numeric-id":3085977,"id":"Q3085977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29abb2d568fd4ca99ab29625711b2f9b7312673","datavalue":{"value":{"amount":"+0.7589100003242493","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":"Q2760243$CC4F4B14-9179-46B9-89D1-444F063F8E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471fd7c92082cf3b16a7ff849e2da5b716fd67f0","datavalue":{"value":{"entity-type":"item","numeric-id":2937734,"id":"Q2937734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2efe11cc0cb5554416527525026958cd1ed2d7","datavalue":{"value":{"amount":"+0.7479199767112732","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":"Q2760243$6E3C35E4-4C33-404A-A82C-86D80DFB7DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60d486de2ce06b4cceae7082598aa7ac6175b19","datavalue":{"value":{"entity-type":"item","numeric-id":5060068,"id":"Q5060068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b421d8b928eec4cdecf2d7c56359711ec22f7ea","datavalue":{"value":{"amount":"+0.7391625642776489","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":"Q2760243$9BC73064-1983-40BD-866A-C755CEDD28E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efe397438d8868f9ad7154951845f18e8d77d81","datavalue":{"value":{"entity-type":"item","numeric-id":2503044,"id":"Q2503044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6c0a51fd123f3cedc8b0b6ad499d647dccf4e9","datavalue":{"value":{"amount":"+0.7381845116615295","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":"Q2760243$EE4D4C1B-DA30-4058-AB3B-794FC55807FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2760243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2760243"}}}}}