{"entities":{"Q1375266":{"pageid":1386006,"ns":120,"title":"Item:Q1375266","lastrevid":70279119,"modified":"2026-04-13T13:41:59Z","type":"item","id":"Q1375266","labels":{"en":{"language":"en","value":"Transformation of automata for simplified checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1103957"}},"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":"Q1375266$17F49527-69A2-4CDD-B713-65E1C2EB7287","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b29668065984c2fb9f5547c4cea1ebcab2e2d350","datavalue":{"value":{"text":"Transformation of automata for simplified checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1375266$3978CB9B-D81E-4EEA-BF49-43F779AE8DFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71c2ad5c7f753bfe53875dc2826c772eb6bdc958","datavalue":{"value":"0886.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375266$FD5C54E1-EE0D-4BB7-8E69-EF7FE9DCB34F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3394862b8eb83f7058d980a6da0a333732114bd2","datavalue":{"value":"10.1007/BF02367770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375266$CD87A621-3B4B-4230-9DBF-32B8FBE281D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375266$0D44AF75-A27E-4D13-AE75-765CC7813EB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"343aa374fccf16bdffc072d46517973eeef7ce41","datavalue":{"value":{"time":"+1998-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1375266$DFFE9211-F8A7-4B1D-B158-D4585575EB5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375266$083D921E-F3DC-432C-8ADD-8B08C865ED25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6678222a82b319ecdd7f93742b2779402e98e74","datavalue":{"value":"1103957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375266$B6CD572E-52D0-4BE8-B016-727E5DEEB317","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375266$1666F0EF-7E15-406B-BBCE-EB6FB3395270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fe32a69096c957718b6e42e7b1c77d54ef8bbfc","datavalue":{"value":"functional checking methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375266$80A1E6EE-1AA8-400A-8F21-606C2085CEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f7202a3e1722558c37cb6558c0fae831b414bc","datavalue":{"value":"built-in checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375266$97881BB9-C96B-4737-866B-53CC9013D9D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"855b836d837c19dd8db7cf2f7a9aeaff1cd401a6","datavalue":{"value":{"entity-type":"item","numeric-id":220211,"id":"Q220211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375266$F804F278-4E73-4841-8B52-FBC4A138DBBF","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":"Q1375266$E2062A83-C018-42CF-9FA3-3F2D421AC856","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf06b84e7bb30ea344f1368e001455d10f2eed0","datavalue":{"value":{"entity-type":"item","numeric-id":5661426,"id":"Q5661426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375266$E6494AF1-DE20-48FC-8E46-A7E3F249BD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1aefc2384788116e8f8967bb6f81b729acd9114","datavalue":{"value":{"entity-type":"item","numeric-id":2559452,"id":"Q2559452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375266$771F6BF6-6383-4194-887A-10DAA2DE064C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7529181914eaab2f390c15fe3f588260f2c94ff","datavalue":{"value":"https://doi.org/10.1007/bf02367770","type":"string"},"datatype":"url"},"type":"statement","id":"Q1375266$15130F61-7751-4004-A919-9C822E50D6BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c76e7e3be2fa0a6167f59bf4e5bfac131603d7ec","datavalue":{"value":"W2022589601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375266$9010BA6E-4795-43F7-9EBE-999E5F753E04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce7b024d1a29dfe045bb1a6b64a5a834c8526f20","datavalue":{"value":{"entity-type":"item","numeric-id":1066123,"id":"Q1066123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7b63175d6fa0d3ebdcc0b16db01e92930025d6","datavalue":{"value":{"amount":"+0.744272768497467","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":"Q1375266$2E009425-8EFE-4E54-AA0F-3FD471768BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d207accaacaa5a8f89af27e6ac3d6e4cbe6f772b","datavalue":{"value":{"entity-type":"item","numeric-id":2740490,"id":"Q2740490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6c463ab111a6e34301bf0406a078185b841d3b","datavalue":{"value":{"amount":"+0.743869423866272","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":"Q1375266$2519205E-9DDC-4354-9473-93BD855C85B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607758732af358626b0eee9134a8e20d710e45c1","datavalue":{"value":{"entity-type":"item","numeric-id":3471835,"id":"Q3471835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8342681694a0a05141f6e0e3bb5e0541d3650e0e","datavalue":{"value":{"amount":"+0.7371954321861267","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":"Q1375266$93AE5E34-4C11-4ED1-951A-7EB7BADDC775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"365d8cb06d12466080d63918d7700ce8ad3b7705","datavalue":{"value":{"entity-type":"item","numeric-id":3706810,"id":"Q3706810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5d0c8a3d9015681c33deb837c2c5bfe450f961","datavalue":{"value":{"amount":"+0.7351954579353333","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":"Q1375266$B74C22A9-45C5-4D9A-961B-C3E9FF8B0D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44115bf45ea1345485f0ac03b43f47ed4703446","datavalue":{"value":{"entity-type":"item","numeric-id":582875,"id":"Q582875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bae03e834bce179577a8782fed0102dd560e69b9","datavalue":{"value":{"amount":"+0.7330639362335205","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":"Q1375266$3C294FAC-B254-49FA-8A80-978EE16B26BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transformation of automata for simplified checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transformation_of_automata_for_simplified_checking"}}}}}