{"entities":{"Q4708912":{"pageid":6738489,"ns":120,"title":"Item:Q4708912","lastrevid":48118000,"modified":"2026-01-03T17:04:42Z","type":"item","id":"Q4708912","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1931654"}},"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":"Q4708912$8857FBAA-B620-41CF-8C3B-624FF9EBEC3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f78b1f58bb97939993a513d3199f0b3c38747977","datavalue":{"value":"1013.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4708912$FCBAD4CA-EB94-49B1-B15F-26715D29F7DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"217e04b644be17a7253c2f0262c438dcbddec45e","datavalue":{"value":{"entity-type":"item","numeric-id":1040333,"id":"Q1040333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4708912$18A40BF6-8EF5-428D-9784-EB0FC32D8033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d874dfe1a372a999a0303d43de3841e4b8a0ff0","datavalue":{"value":{"entity-type":"item","numeric-id":1039577,"id":"Q1039577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4708912$D62018D9-90F2-4DB6-BBBF-0DD6A1E21A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03f8c16379022e129ada1054f272bb0451727280","datavalue":{"value":{"entity-type":"item","numeric-id":1401353,"id":"Q1401353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4708912$A26A0846-A252-47BF-8E43-78B5844CAD41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72536fe26a47cd8bbdca4f6dc33a82fb7aeb98a","datavalue":{"value":{"time":"+2003-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4708912$31ED6671-B1B4-433B-8D75-CB4F9F229EF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc5b1814a75ed85c2215eb2a93fa9a1989aa820b","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2424/24240125.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4708912$20AEA5E3-9D03-4B9A-BB31-55DCC28062CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4708912$CEABBC01-E176-417B-8623-25611AD9F79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4708912$1DB0BEC8-E0B5-4797-87AE-EC061B58D3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4708912$EE41A868-AE27-4A6C-81F2-891ACC71AD69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1c51d58e26453f833c5112eaf7072e00be71b25","datavalue":{"value":"1931654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4708912$839E89F0-6E18-4946-B5FC-FE0E9640B40B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e7e6e3001fbac2baa81fd18ba1fb09de7ba40b2","datavalue":{"value":"Intelligent agent","type":"string"},"datatype":"string"},"type":"statement","id":"Q4708912$67FE6AE6-2584-4307-A802-6BACBD79F407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eedbcf330d86dcdc9c896853ea2c66809a6f4d4","datavalue":{"value":"Logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4708912$4EA1FF37-0412-4FAA-847D-ACC970A28432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e98a3c482442b584539c8a696e133bc4d1b1715b","datavalue":{"value":"Multi-Agent System","type":"string"},"datatype":"string"},"type":"statement","id":"Q4708912$B423D118-9106-420B-B2F0-9AD1812D7C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5358f4ff9b33bdcf646917348056fc0539b7c8ec","datavalue":{"value":"Temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4708912$7B98CDE0-E352-4D12-A1C6-61C713F56CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4708912$9225C958-65C0-4050-B7D5-D4FAD7469062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5206d4dce6a163eafa029a63a1fb2a44925dc13","datavalue":{"value":"Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4708912$9D1B0320-F441-4AF7-BC9B-017C4D75901A","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":"Q4708912$F4E6122E-9DCD-4557-8DBD-8C22DB23C024","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfcc2129d74319429fe44b295d251deaaef37ce5","datavalue":{"value":{"entity-type":"item","numeric-id":1401355,"id":"Q1401355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d89fdc85c32c9fe3ff867d0dd14f64a66d55f0","datavalue":{"value":{"amount":"+0.9349783062934875","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":"Q4708912$555C38FE-AB53-4304-B7AA-3342427E4D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea7ffdc85ecefa05a7baacca30052c1827d6f54","datavalue":{"value":{"entity-type":"item","numeric-id":2498917,"id":"Q2498917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f13c5c484b175989e084fb29204f0c62d8184a7","datavalue":{"value":{"amount":"+0.928119659423828","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":"Q4708912$6FA4B12C-99E2-4F1D-AC40-E04FE5253F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0dfe6888e8821c28b5b9ddd1301f8fd102ebe5","datavalue":{"value":{"entity-type":"item","numeric-id":1040334,"id":"Q1040334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e42711d59d2b61c258bd22fc1230ab31a049fd","datavalue":{"value":{"amount":"+0.7869982123374939","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":"Q4708912$750CF076-D33B-40A9-9478-C41C24D2EEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df56e80dcca1d3e4a46feaaa5a7f9e76f61b9232","datavalue":{"value":{"entity-type":"item","numeric-id":3166991,"id":"Q3166991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70292835e50deb3740d1c71f7be5e478528e2c63","datavalue":{"value":{"amount":"+0.7644872665405273","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":"Q4708912$4B2F9AB2-FFA3-4322-9604-C4F3288ED7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8c88fc88017b1933597c6ff2f82fe88701ca24","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8976c1a507790441b4aba72362b8f304d1da2e","datavalue":{"value":{"amount":"+0.7531072497367859","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":"Q4708912$A4613DB4-2F15-4580-A250-E2EA82AFAF67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4708912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4708912"}}}}}