{"entities":{"Q3656776":{"pageid":5686682,"ns":120,"title":"Item:Q3656776","lastrevid":80911232,"modified":"2026-05-06T17:17:05Z","type":"item","id":"Q3656776","labels":{"en":{"language":"en","value":"Property-based slicing for agent verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658015"}},"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":"Q3656776$2597361D-B6FF-4747-A7E7-46DB07256F68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c8795a9a5e7c16fd64129c6d1d6e7b2661a0738","datavalue":{"value":{"text":"Property-based Slicing for Agent Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656776$38E41E57-722F-4625-A28D-40AB4F4C601A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75bf03424d58cdf180ca46c731a780e4a68372bc","datavalue":{"value":"1185.68751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656776$FB2CA47E-9B2A-4C2F-9DB9-A868BFD06A00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656776$D171EFFD-6C5E-41EB-BCC5-CC0AF78C1517","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddaf44223004b83419f89a3752663f1b9207fde0","datavalue":{"value":"http://hdl.handle.net/10019.1/85904","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656776$BCF57E0B-6B6C-4E95-940D-7C63B1385F7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656776$D5B28369-FFDF-4C61-AD93-5C24A94F9EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656776$C018DFA7-47F8-42CF-AC5A-88FB29EFE7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656776$329FB01F-E513-4D2C-8AE4-8A5A6DF1AD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656776$81B029A4-8CFF-458E-8581-2C90FA65FFB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63f10f33f0d7de6f5c1eb85318c12dd0a84b04bb","datavalue":{"value":"5658015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656776$867E2404-CD92-44CB-B13C-3C39C26EE899","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656776$E6BA59FF-17C9-4104-AF08-85DE3528297D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8c7a1d9b0d835713e458403fb367de7d00f193e","datavalue":{"value":"multi-agent programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656776$E277CD24-60F0-4299-898D-741F50BFEF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fea2d7eee20a5640db9330828cc3f42b3c5544f","datavalue":{"value":"property-based slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656776$E4C10EDB-B2F3-482F-AE17-7C09CFFC2C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656776$4339E3F6-E400-4C15-9F39-5C8C743DD7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656776$77C9996C-33A8-445F-91A9-582D35EC5062","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":"Q3656776$54970347-24E2-4666-B9DA-9105C67CC177","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5144393eea77966cab6e837abfd26a9a9bcf2be","datavalue":{"value":"W1990751107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656776$00378732-ED50-4CD6-98B9-AE2B25D8507C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ddbf501737aaa3c977705af04410bdf7012a9271","datavalue":{"value":"Q98283654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656776$6BC8FFEA-C46C-4F61-A0D9-BA1D16DF0E5A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"f7a6c7b341712c1fa62ad8c8f8b8e7f7d3528b74","datavalue":{"value":"journals/logcom/BordiniFWV09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656776$DF73B78D-6856-4068-8308-FE8E88D968F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fe2b17cbb155aca177495df1e48db0accb07b52","datavalue":{"value":"10.1093/LOGCOM/EXP029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656776$2796FA07-3F54-4FAC-8588-DBB1B43E9E41","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":"Q3656776$28A5D720-6EA2-41CB-8D5C-23A401CC3DD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb93040098d9645df8261f1ff2b44e048c9c8289","datavalue":{"value":{"entity-type":"item","numeric-id":5696417,"id":"Q5696417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6290e1707eb4fd65067ab0c505a1c9919d6c062","datavalue":{"value":{"amount":"+0.7512326836585999","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":"Q3656776$8DAF3831-4F24-41DC-8A84-89E55485975B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e23060b144faa3c948ac3c91d2da627d4a693081","datavalue":{"value":{"entity-type":"item","numeric-id":5465891,"id":"Q5465891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e51e4baff9e54fd6d0282cb0632b32d2e16fce47","datavalue":{"value":{"amount":"+0.7484613060951233","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":"Q3656776$D8248AFF-773C-4E81-B02D-5EDDB477E907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305601bd10e4543ee41f5a7c6bc2673dbabf52b6","datavalue":{"value":{"entity-type":"item","numeric-id":4209291,"id":"Q4209291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd63015e710788673378d84d19fe24d729c4dc30","datavalue":{"value":{"amount":"+0.745550811290741","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":"Q3656776$67F8BC62-9DAF-482D-996B-A3208CEB458C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e36469bd3cd7ea0b6b81aabc659572d3b1d90b9","datavalue":{"value":{"entity-type":"item","numeric-id":4536746,"id":"Q4536746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188674a2f0814231427ad97747819eb5f2669726","datavalue":{"value":{"amount":"+0.7368069291114807","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":"Q3656776$CE40FACC-2019-431A-9AFE-56CBB2845D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0404a22a9568850d17ecebc1ba67b8b4f4b7de4","datavalue":{"value":{"entity-type":"item","numeric-id":1595472,"id":"Q1595472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880fe4c2d2404279466699a0a968efefaf2c7a35","datavalue":{"value":{"amount":"+0.7357595562934875","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":"Q3656776$73614C0B-A686-4144-AEE3-5B28FE70EE98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Property-based slicing for agent verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Property-based_slicing_for_agent_verification"}}}}}