{"entities":{"Q1905221":{"pageid":1915963,"ns":120,"title":"Item:Q1905221","lastrevid":69257262,"modified":"2026-04-13T05:48:15Z","type":"item","id":"Q1905221","labels":{"en":{"language":"en","value":"Resolution approach to testing compatibility of interacting automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 830667"}},"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":"Q1905221$718091E4-694D-46CF-98B0-A847BC7B39DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcc325a162c62f70939d29ea71d60d139fd12385","datavalue":{"value":{"text":"Resolution approach to testing compatibility of interacting automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1905221$ABE24953-3427-4CA5-B5CD-E4A58CF2AC65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e05a2810aaff62b07217329b82c3c6c0b0246169","datavalue":{"value":"0837.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905221$BDC319A9-2E4E-450C-86B0-60C6AB8F78E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f07dbc4d8487550c1eb2480ec180643c9451553","datavalue":{"value":"10.1007/BF02366440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905221$606FDA8C-BBE7-461C-9E4C-FABDE8C1F69B","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":"Q1905221$C11C731D-5775-4311-BB71-1D5A1210BFAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d6c6611abbdcbd4479c24e8e5cb9d581ed2b77","datavalue":{"value":{"time":"+1996-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1905221$48004156-F8CF-45F1-AEF8-B12E3C466ADC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905221$310828BE-998A-4B01-8821-273F3AF59FDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95c511545425e914a807be10daae192f25ad88b3","datavalue":{"value":"830667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905221$D4D5BCAB-553E-413F-BD82-E35C05A348B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8befea15eb986656c0a1a1409ef8d4bde286c","datavalue":{"value":"compatibility analysis of automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905221$BE4F5A60-B98B-4CE4-A3C2-1964A7E1D3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905221$94EA2AC1-C723-4FB9-8067-D1C1E57E8533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905221$2F632084-DD98-4393-8FEB-352DE9A77C56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9e0106a8247e4bf7b79a4b47524f15fadc8ba6c","datavalue":{"value":{"entity-type":"item","numeric-id":1127548,"id":"Q1127548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905221$092B02AA-9126-4986-B078-F2DAFC162300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905221$8EEFC56B-3253-4276-ACCC-860C626C4540","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":"Q1905221$C85E3768-86D8-4A50-8BB8-43184A61279A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d36155adb2d2abe3dee965446f2f034a21406ce","datavalue":{"value":{"entity-type":"item","numeric-id":1905143,"id":"Q1905143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905221$A38E804F-C53A-493B-AAEC-62C957AEB7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fe682707527e51d1912b797be115404652a89d","datavalue":{"value":{"entity-type":"item","numeric-id":1895045,"id":"Q1895045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905221$68B5860F-B041-423D-94CF-E58E7C2CCCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b9cd2a87b17ce925374773905a0ce1698e112d","datavalue":{"value":{"entity-type":"item","numeric-id":5541343,"id":"Q5541343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905221$F314A020-2CB6-4AF2-AB45-C5A653C18987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905221$84900268-B0BE-4BF7-A2C3-1C0C7FCD1DF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ad6fff6953e85a4a0b6022450d8886ee04c68ee","datavalue":{"value":"https://doi.org/10.1007/bf02366440","type":"string"},"datatype":"url"},"type":"statement","id":"Q1905221$E87A099F-C502-4C2F-A530-8B60D979F2A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0af6c314123793e2eb77f9f635afe816ac8fe0f0","datavalue":{"value":"W1971724103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905221$E11EF315-4462-4456-BC21-E5204C53F3AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1105fdfd8e3156866e395bedee1f93252b6b861","datavalue":{"value":{"entity-type":"item","numeric-id":1127549,"id":"Q1127549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42316a8296112dc916ff0253eb94e1f9993248da","datavalue":{"value":{"amount":"+0.915287971496582","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":"Q1905221$CBB17228-82FA-4C4E-BDB8-D49FDAECD815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829ca85c2429843791fb3d531016d2c5077f2e1f","datavalue":{"value":{"entity-type":"item","numeric-id":1582909,"id":"Q1582909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd2de7e628bb5b12f82da94429a0bbbe96e853a9","datavalue":{"value":{"amount":"+0.863970935344696","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":"Q1905221$04F88213-4400-4439-9265-FA1D8638BC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29c133e766c608727746f92305b1a4d9f8c222f","datavalue":{"value":{"entity-type":"item","numeric-id":1905143,"id":"Q1905143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27c0550c18750d9560ae9cfca69a7c134532785","datavalue":{"value":{"amount":"+0.765250027179718","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":"Q1905221$C33E04DE-801A-4742-90EA-C68F7F08C4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3677a77ec37f2e6854e4a65d5bebfce57ff161","datavalue":{"value":{"entity-type":"item","numeric-id":904417,"id":"Q904417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0796052d34616ee40f3bd223691c9660659c95d","datavalue":{"value":{"amount":"+0.7403804063796997","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":"Q1905221$450ED264-D3CC-44AA-83E0-08BE34B76460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a535e36b84ea4dc9f15812494e79d95ed927a4","datavalue":{"value":{"amount":"+0.7278746962547302","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":"Q1905221$22DB0015-D104-4E13-B870-B0A1BFFA8987","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolution approach to testing compatibility of interacting automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resolution_approach_to_testing_compatibility_of_interacting_automata"}}}}}