{"entities":{"Q3515458":{"pageid":5545362,"ns":120,"title":"Item:Q3515458","lastrevid":50411879,"modified":"2026-01-14T00:10:54Z","type":"item","id":"Q3515458","labels":{"en":{"language":"en","value":"Efficiency of automata in semi-commutation verification techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5305047"}},"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":"Q3515458$A50F5407-1ABF-4974-9CCE-C85A2F983A19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56ea2c45fef9550a6544eb2e79d31355f7b369be","datavalue":{"value":{"text":"Efficiency of automata in semi-commutation verification techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3515458$DE125237-AD38-4C0C-B64B-D3A459C66E84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5ce07e105fc104148463e5ebc327ad632d25ec7","datavalue":{"value":"1144.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515458$23F77B50-3482-49F9-B581-7362058E8672","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4722472c88da9d5be93c6f5166b780e179d3357a","datavalue":{"value":{"entity-type":"item","numeric-id":1908352,"id":"Q1908352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$E7B0956C-EBEF-48A4-8F4B-B4FF1883BAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"151e0b6e75836dd29ee9fa0a3ee65594bcd1a23c","datavalue":{"value":{"entity-type":"item","numeric-id":3515457,"id":"Q3515457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$7DDD1FF6-0527-4E4F-AB30-3AB85F0072FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28ad9b4a7f5de9582a5c2b602f54e86b0569ebf","datavalue":{"value":{"entity-type":"item","numeric-id":442145,"id":"Q442145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$64D979E1-DE7F-4B8C-895F-003142EA2596","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$B7592880-9405-4283-A5BE-13F37F0C9FE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"448d08f14247b14b2b79e27dc3578a82c360110c","datavalue":{"value":{"time":"+2008-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3515458$F35B16DB-F627-440F-A6EF-093AA8D8A7D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d3a1d8604faba0cb1b5209a4495028d989af8e6","datavalue":{"value":"https://eudml.org/doc/245200","type":"string"},"datatype":"url"},"type":"statement","id":"Q3515458$AB3567DD-D286-4F26-8C95-812F3FFCCCAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515458$30C867D8-45AE-4DB1-A270-A49A1DE74161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515458$440D35E7-43F3-4E8C-9A83-9F0DE70FD449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515458$CD77B3E7-DBFE-4C1A-A994-3786E354775A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c36013f77ad9b181b1c965506d51ba90031a8ee","datavalue":{"value":"5305047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515458$C8F45CD4-EBEE-47C1-A6E2-C4F7E47ECE93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b809dd65b24598b361d47cb3a7eabd54201935","datavalue":{"value":"image of a regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515458$D73E3E47-A2D6-481F-BBB9-23EB8DFE13E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2efd6ca2e632b6ca823bc98fefd73c07a1f518da","datavalue":{"value":"transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515458$600A01A6-0FE7-4024-8B8A-68CF5C9E2AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515458$FA45E8FC-BA5C-4E1F-867B-2263D3E4D793","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$313EDC49-DF0E-4154-9764-0898BAE99D0C","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":"Q3515458$0E7AC41A-0455-4362-A03D-F0A75B4FAC8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00636f8741fb42acb910ffcb4a54b6bafd4ce87c","datavalue":{"value":"W2003000560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515458$102C1ACC-F4C7-4E2C-A83C-CB7ED0161848","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b2dd25591c08b7932b69ce08512bbd5155f52b","datavalue":{"value":{"entity-type":"item","numeric-id":5900681,"id":"Q5900681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$E65A28A7-2692-4FA3-A4A3-6F95463C1609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$AF7B37ED-C1D3-4F82-A77A-AB04BF53FBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5d0f608e7f0e955120a32669152b078a21d908","datavalue":{"value":{"entity-type":"item","numeric-id":865624,"id":"Q865624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$B23FEAEC-5A68-430C-A75D-7BD9294F30E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb3b2355cdb01cff111316b6099e5b418e4ebeb","datavalue":{"value":{"entity-type":"item","numeric-id":4098669,"id":"Q4098669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$555932CB-02E5-4346-A74D-B76CC0971DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4a70c52a9128c6f1ae4ee3e196ec5c806b0193","datavalue":{"value":{"entity-type":"item","numeric-id":2558849,"id":"Q2558849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$75C1DFBB-ABD8-46B3-9D01-308AB3B0B833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9bba1c88d844c0346294f22d21e65c27434a35","datavalue":{"value":{"entity-type":"item","numeric-id":1383303,"id":"Q1383303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$2F36A92E-68FC-4624-AA22-5D494507F504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$394436A9-2D14-4D77-BE3B-2D20A76109D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3919e933660c460c9208c5f64b86e5e606a738a4","datavalue":{"value":{"entity-type":"item","numeric-id":4452051,"id":"Q4452051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$12506541-ACF7-4D62-AFBC-5F74D8A8CC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d1fb7459a010555e6527e6c4716296bfe1bd8f","datavalue":{"value":{"entity-type":"item","numeric-id":1884959,"id":"Q1884959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$3AB0E857-6583-4EA7-94A1-815C7683B4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67959401a7825b278aafbe9172650d7e170f5b02","datavalue":{"value":{"entity-type":"item","numeric-id":4654642,"id":"Q4654642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$104A381E-63EA-4D23-803E-CD052FB86CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed4507ce3a11e9991cbe24cbc405044a610d0cb9","datavalue":{"value":{"entity-type":"item","numeric-id":1874419,"id":"Q1874419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$2D41AE5C-9EBB-406E-B89D-9325D899F2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$01E32A09-AE92-4846-9AC8-B6B69631642B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e648db17a739894d37b270641fb26bfce3cd003","datavalue":{"value":{"entity-type":"item","numeric-id":4251913,"id":"Q4251913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$F996694B-5091-4861-B984-9C47C064E509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f33357b8e8cbd675e437436935e32954fe1263e","datavalue":{"value":{"entity-type":"item","numeric-id":1254109,"id":"Q1254109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$9F7D9D81-1149-49DC-83E2-959A6975E4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$D20430EE-BBF7-4D19-9A66-DA68EE12B54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a816d15f1a3851350199122015284909d8230ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1361889,"id":"Q1361889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$8A389CC2-511B-4BC9-B992-FD6C813447F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad71e0c47b486677961310ebe80bdd31a6c3125","datavalue":{"value":{"entity-type":"item","numeric-id":2266068,"id":"Q2266068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$5450CC65-F870-4278-A194-B662F065AF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"337efcaa3ae20f38fff20af4d53f2602d2e9e5c4","datavalue":{"value":{"entity-type":"item","numeric-id":4407441,"id":"Q4407441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$054005C1-F4DD-452E-8595-0BB13FD64FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$58F802DC-32E8-496A-BD97-3800AF3F7586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ddf6cebb41dcd6f276c486ae807a1c96140cd1","datavalue":{"value":{"entity-type":"item","numeric-id":1157412,"id":"Q1157412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$DA877DD1-8C12-4784-BE11-65BB57E8F6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1dc1c2dae98a465e7350a6b9e72254be8ec580","datavalue":{"value":{"entity-type":"item","numeric-id":4921501,"id":"Q4921501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515458$69CFD741-CA8D-4984-B4A9-4D43C1A1DE13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c8f18c3d4c8b667627bb1294efd8e3ce06b16bc","datavalue":{"value":"10.1051/ITA:2007029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515458$F77F9FC5-FE0F-417A-AA0D-B6EAA626BE7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d95086bb3201d671dfb58a6f25477711894969a","datavalue":{"value":{"entity-type":"item","numeric-id":4630282,"id":"Q4630282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8add8ad3ec6dbd5c7f3d22431addd04465910ceb","datavalue":{"value":{"amount":"+0.7571327686309814","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":"Q3515458$C7AE99FB-D46B-4634-B6AB-0736C9D0770F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c772e1b6b8e8a8ec29bf0f6758eb499ab1616a2","datavalue":{"value":{"entity-type":"item","numeric-id":4484482,"id":"Q4484482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d8fbdf49bad7fffbd2cb6fd0ad0e3467e6ed6f","datavalue":{"value":{"amount":"+0.7435541152954102","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":"Q3515458$DC55B420-EBF8-49DF-83A5-E45D95FC07D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003c62d6f5a0f91bd764dc16c5d2e7d064d17232","datavalue":{"value":{"entity-type":"item","numeric-id":391641,"id":"Q391641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79dbae98d84d015bac85ded79d1e6c7283bf42a7","datavalue":{"value":{"amount":"+0.7315886616706848","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":"Q3515458$93A06D48-8C83-49A4-9CF4-E275415D511A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41d58f0cb7c54c766ebd879d2ec46fb4673bf6b","datavalue":{"value":{"entity-type":"item","numeric-id":1094144,"id":"Q1094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480ff78a430b4080773c50761eb65e21a9ae894c","datavalue":{"value":{"amount":"+0.7224235534667969","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":"Q3515458$9DB566CE-27E3-42B0-B1FD-F9FC4C6CD54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776c68b2f399cd854a7410f0a165859045338919","datavalue":{"value":{"entity-type":"item","numeric-id":3519503,"id":"Q3519503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9470e5d6c802be4d3c711dfdb2ff340ad31ca8","datavalue":{"value":{"amount":"+0.7191064357757568","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":"Q3515458$345602EE-ADBC-4D70-9B7B-9F7E4C3B21AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3515458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3515458"}}}}}