{"entities":{"Q4639675":{"pageid":6669256,"ns":120,"title":"Item:Q4639675","lastrevid":53080595,"modified":"2026-01-24T04:39:10Z","type":"item","id":"Q4639675","labels":{"en":{"language":"en","value":"Specifying and verifying external behaviour of fair input/output automata by using the temporal logic of actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6867752"}},"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":"Q4639675$B79003CB-22E2-4F65-90CF-2DCBD4BEF331","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed150085375875463f37b0767ae606b12efd1fa5","datavalue":{"value":"1387.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639675$98D3CB9B-2E8F-47F3-86D6-9C08118CBAA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e9007f964328b3992e509cadad60b8450a641b","datavalue":{"value":{"entity-type":"item","numeric-id":2210866,"id":"Q2210866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639675$66046528-19F1-4CA0-8362-43A1D8744555","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcbfd3cc8953c740639e585134a440d4ebe50460","datavalue":{"value":{"time":"+2018-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4639675$AD17CCA0-2646-4937-B5D7-45BBCABBCBEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad8c754100ecb816fefddc4afa684249dbfded7f","datavalue":{"value":"https://content.iospress.com/articles/informatica/inf1074","type":"string"},"datatype":"url"},"type":"statement","id":"Q4639675$A4DA4995-FD25-41B3-8FB1-118BDDA8D04A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639675$06A2E486-1BDD-462D-81D5-37C1E3A83196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639675$7E165D2E-0196-4B51-9D92-EA65CDB017C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639675$DADE8CC4-2522-4A2D-BF21-CFC72A72A1C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ac447b7d3718f8c64c3e73aa72ff920df1add7","datavalue":{"value":"6867752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639675$3E76270D-963F-4339-AC6F-B256CC7CD825","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639675$16033A09-74E7-425F-9118-AEF87B6DACF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15bca67c284d49d74ad18e2d9e0de06f5c72ef02","datavalue":{"value":"fair input/output automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639675$2BDBEDA4-0726-4509-9066-DED2F9C17437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06724a773904c4661c141536901a259bd363379d","datavalue":{"value":"temporal logic of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639675$8483C338-C03D-4A55-ABC7-D56C55D5B280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dad149b8b1bcb5fab57f50dbef612928fcf0576","datavalue":{"value":"fair trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639675$D7AA426D-30BD-47D7-AC13-249979AE546D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"288dcb00059bad4b8c04b83e13284cf1a011154d","datavalue":{"value":"fair trace inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639675$7DF8F627-DB84-439B-8869-1ED48B2AC78E","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":"Q4639675$9A72FAA4-4442-4B47-9A7D-F646AD139645","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e88955d91680e6d765da8c1b8b08c87afc0248","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"960196f1bdc3945fb1c9e14e31a5e6c66b8df579","datavalue":{"value":{"amount":"+0.7792164087295532","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":"Q4639675$93E9FF0C-5F2B-46C3-A34B-6A5FAA1DB0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d32e9e953a5841fc5d6f3b80c89ec2b75f23918","datavalue":{"value":{"amount":"+0.7783252596855164","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":"Q4639675$1D3205A4-0EAB-4D9F-960F-1C4BE8CF1758","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":"65c99cd7ee09bbe24aecb655bd0b595ca4e12236","datavalue":{"value":{"amount":"+0.7743815779685974","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":"Q4639675$73811DE2-8F76-4385-9F1F-D26E63EAD121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce35a2de932330b2b03afc04f0f971a5c9229d68","datavalue":{"value":{"entity-type":"item","numeric-id":4247083,"id":"Q4247083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71a5519b23c6bcbcfecbfd3ee079bfc15e40315","datavalue":{"value":{"amount":"+0.7710644602775574","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":"Q4639675$6D9E2E3D-1320-4BBE-BC8F-C76CB7AB528E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03365cca812058c65420ab8d3a92853d1b932e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3704886,"id":"Q3704886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c744b0a9bc8eb8fffe0e94af4df4be7a092778f8","datavalue":{"value":{"amount":"+0.7623485326766968","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":"Q4639675$7B72521D-C9DA-4525-9760-2BE62692BD28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4639675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4639675"}}}}}