{"entities":{"Q672858":{"pageid":674707,"ns":120,"title":"Item:Q672858","lastrevid":63421950,"modified":"2026-04-11T12:58:15Z","type":"item","id":"Q672858","labels":{"en":{"language":"en","value":"Products of finite state machines with full coverage"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985230"}},"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":"Q672858$6DBAC6FA-5B52-4B0F-B000-505A7C3CD5B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ea3725d6e78efc6c6f1a2b7a55bc8195ff454b4","datavalue":{"value":{"text":"Products of finite state machines with full coverage","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672858$17CE3A9B-EE2C-4C91-98E8-943290A2ACED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"707e62ac44a087fc087b48acd9b7fa1e14305c4f","datavalue":{"value":"0871.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672858$B3655CBF-F819-4228-8F26-121F2E655C72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0100a50394af3c8bc20737ecc2c9b797a0bae12","datavalue":{"value":"10.1016/0304-3975(95)00129-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672858$4300F36E-919B-46D4-8803-3AC45969EDBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a4bb52e1c6671595e82831a75f140e5109329be","datavalue":{"value":{"entity-type":"item","numeric-id":578910,"id":"Q578910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672858$C8780776-BBBE-48C6-B75B-16A93B9BA76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5885391688355756cfdf44090694c96ff323dc99","datavalue":{"value":{"entity-type":"item","numeric-id":1246444,"id":"Q1246444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672858$1AFAA0BA-4679-4678-85F5-51E48FC333DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672858$DD84E959-4A91-4E3D-8329-D983E282D389","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672858$B3D1CF34-BAB3-469C-BD64-66EF064830AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672858$B5E9FD9F-8D45-4B34-907E-D466C5B8C53D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aec124e8703a7f399e37950241fe2e3d9dbc5210","datavalue":{"value":"985230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672858$9E3E7D8B-608D-4475-A7F0-62E40AD9948A","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":"Q672858$59C99088-4733-42F6-994D-0B965A2F0611","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"765a0713a5be4c1a5303a2662f06dc2597db33a1","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00129-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q672858$5E86E189-4AB1-4DD4-B8FC-09CBA107B8DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff92f48556acb27009e69a4f15b750ea5d4f2290","datavalue":{"value":"W1980137846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672858$6CD19054-4D4D-43B0-A845-F711EE6D9BB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb1c9b2434043bf8272ea7e59b6a15fdb08ed38","datavalue":{"value":{"entity-type":"item","numeric-id":3941595,"id":"Q3941595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672858$6C66A90B-B99A-4DF1-AEDA-A09EC7AEA9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71f013f1e1f168b6710b3c048a4d68700cfdd5b","datavalue":{"value":{"entity-type":"item","numeric-id":768820,"id":"Q768820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672858$9CDC24D9-3D67-4175-85C4-CDFCA41A6B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961f22b67bd573173a92bd65282073c7d668d35d","datavalue":{"value":{"entity-type":"item","numeric-id":2531937,"id":"Q2531937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672858$8CA94B73-590E-47E0-9EE8-FE9350C3F87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a2bcc1ee95828acd83b6565b57d64477ce1475","datavalue":{"value":{"entity-type":"item","numeric-id":5331572,"id":"Q5331572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672858$0929E711-B3DD-405A-BA1D-41A17717F11A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44854d114a7240993ed90e79dd7a1a3021eee3db","datavalue":{"value":{"entity-type":"item","numeric-id":4630284,"id":"Q4630284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e8943d8cd85e67759e6d4c8a86b7f667182a25","datavalue":{"value":{"amount":"+0.9952285289764404","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":"Q672858$2B5C2574-5A96-48A3-AB36-8A89F43A0423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788164c77dc31fc792585c377dd282c1bcf055d9","datavalue":{"value":{"entity-type":"item","numeric-id":3109499,"id":"Q3109499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee60a32927b2ee5a7692934938dba3d60dc9c8ed","datavalue":{"value":{"amount":"+0.7578848004341125","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":"Q672858$157C6AB7-5312-4C26-80B6-D5B30F0770C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d302e74df8a2627e7e683bde92c3dc750e1d59","datavalue":{"value":{"entity-type":"item","numeric-id":1040922,"id":"Q1040922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8356403fb6774b09b297c4b83a53dbc8f2e04a2c","datavalue":{"value":{"amount":"+0.7522650957107544","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":"Q672858$5C02CFBB-9973-45EA-991A-18AEACBB5E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8861d5cda8602bc9f6e28051fb9ed6cd59433276","datavalue":{"value":{"entity-type":"item","numeric-id":1349224,"id":"Q1349224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108e68e66dc8d5634b67216f3f1f7f7c5f2770ce","datavalue":{"value":{"amount":"+0.751440167427063","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":"Q672858$386D873F-2594-427F-8C47-2340ED33B9E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Products of finite state machines with full coverage","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Products_of_finite_state_machines_with_full_coverage"}}}}}