{"entities":{"Q6636670":{"pageid":14247822,"ns":120,"title":"Item:Q6636670","lastrevid":57186609,"modified":"2026-03-27T10:16:05Z","type":"item","id":"Q6636670","labels":{"en":{"language":"en","value":"A logical framework to model software development by multiple agents following a common specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7942581"}},"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":"Q6636670$D150E615-E8B9-4BCF-A3BF-0E51E6A2F732","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a41d44a6878e9688854d178b6a288f15dd1b006b","datavalue":{"value":{"text":"A logical framework to model software development by multiple agents following a common specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6636670$ED8A6563-BDA3-47A8-8652-0063A45749C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"149b9b72ab5e6a0f25a55f1d6999242c622399ca","datavalue":{"value":{"entity-type":"item","numeric-id":2036384,"id":"Q2036384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636670$81F10A36-746D-45B5-9CE5-809D08E772B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed08a608b0cad7875b65422876c04080feb987fe","datavalue":{"value":{"entity-type":"item","numeric-id":1697085,"id":"Q1697085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636670$2CD153F2-0904-4168-B91B-0AD852474348","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60fa3f87d97ee0a9686c2e5537009cd3455d3ea2","datavalue":{"value":{"time":"+2024-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6636670$1B20A393-7B44-45EC-8F53-C69A6BE68651","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636670$DC580EF7-5E94-476B-9C81-0320640B14BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636670$D2AFADBF-E247-4C86-859B-E7EC19D1B8D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca86d32ec52a9dcd0ce8e7ff240c71a9b843c732","datavalue":{"value":"7942581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636670$61216411-3F39-4A9F-AC81-319AA4CD60FD","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":"Q6636670$5F125562-86A3-46F0-A236-04DAC8BDF46D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636670$7589519A-24BC-4232-900D-593CFA47F335","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5df069a8d3e08b21e57d46b9d5ae9a68a2b09e03","datavalue":{"value":"10.1093/LOGCOM/EXAD030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636670$9C2741AE-F690-4D7B-A6A3-0009C2F2C34C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c823eb76233e4855e66828e769991a47beaee71b","datavalue":{"value":{"entity-type":"item","numeric-id":1190474,"id":"Q1190474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b30617f0b55f811edb943b1319dafcb176e79a","datavalue":{"value":{"amount":"+0.6869460344314575","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":"Q6636670$61FC2AEC-C0C6-42E8-A0FD-C2EB0CC95264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ec5be43d26a98ab8adc424df1a8a3499a14cda","datavalue":{"value":{"entity-type":"item","numeric-id":706506,"id":"Q706506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd781521c0d5f04f490b118e436d9b057302ed0","datavalue":{"value":{"amount":"+0.6749251484870911","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":"Q6636670$C1B28FF8-24F1-4E60-BC38-3DDF51C6F130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929e4fb0b19dc1cb0d80e23ce051a03b75926070","datavalue":{"value":{"entity-type":"item","numeric-id":4281675,"id":"Q4281675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480f3fb633f52377737502a51c4c6811965606e1","datavalue":{"value":{"amount":"+0.6723491549491882","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":"Q6636670$BA8583B2-C92D-4C68-881E-026C03B5744D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a868b94970ae7dbc013be5b7038043599cfc5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4323410,"id":"Q4323410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45904507cef732c898adf40a160a8dc46a81889c","datavalue":{"value":{"amount":"+0.6655009388923645","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":"Q6636670$FF02A12A-A705-4B19-8CC3-997E42D621B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9454d2f42b6b3a783752dfea61c0df723e3b7f","datavalue":{"value":{"entity-type":"item","numeric-id":4934624,"id":"Q4934624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30aca79eaec84d4c389d9ac2ea2609e173439b9f","datavalue":{"value":{"amount":"+0.6601602435112","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":"Q6636670$5DD6D410-991D-45E1-8A82-EB3772DD6614","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636670$83B5B4D3-B727-4BF2-AA31-01FE9442D6D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6636670","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6636670"}}}}}