{"entities":{"Q3482822":{"pageid":5512722,"ns":120,"title":"Item:Q3482822","lastrevid":49393762,"modified":"2026-01-07T02:14:19Z","type":"item","id":"Q3482822","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4153903"}},"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":"Q3482822$B5B247EF-9CCB-43B4-8CC0-6A45D18D461A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7deba6fb148316241a143aa6268cce3d95496db9","datavalue":{"value":"0703.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3482822$1BAAD070-921B-46EE-B521-83CF50C6AEF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3482822$353C20F3-9129-4851-93E7-386934778C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3482822$4EBE7244-6D4B-49AE-BF05-75A1D25A75AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3482822$885F296C-8666-4373-B221-B9CB4FC69737","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3482822$83861206-055A-48B5-B87B-4E821DF2DBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3482822$F9E51A47-981E-4F29-BC3E-BE04E6BA9C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3482822$49A216FD-7886-4D2F-B52F-448799F87F15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00e4880b00d74f23140b36c41c824fec26e33641","datavalue":{"value":"4153903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3482822$3553D5BD-A525-4422-BC57-7987211F2526","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3482822$605CD27B-B8CE-4669-84F3-B16B530A8347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3482822$01FF381A-DF83-4A48-8FF8-2465BBECB09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"168b89016c1ea9be80d39f4a4279994462cfe618","datavalue":{"value":"fairness requirements","type":"string"},"datatype":"string"},"type":"statement","id":"Q3482822$6D3EF105-1883-4D4D-A745-3745977AA289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3482822$72C1EC60-1918-46A7-AE3E-F7D8B995A3F1","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":"Q3482822$487B0D26-DECA-40CA-8833-F76440A04462","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12875620e463fdaed036c7e98175ef1e34f029e5","datavalue":{"value":{"entity-type":"item","numeric-id":1176248,"id":"Q1176248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0671b8cceecda519806fd8a46730f8db1c12547","datavalue":{"value":{"amount":"+0.8512871861457825","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":"Q3482822$8E73E9CC-BA32-44A3-B018-F7A98DF7D745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"157640a3dc95f22be3775391d69db1ab13ff75aa","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bbfa2082495d68d1cf6a26852275427a25dbf4","datavalue":{"value":{"amount":"+0.8512871265411377","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":"Q3482822$F197E045-24FA-4DE8-BA6E-B245652B7A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067d3f4f38516197238192fa90aa866ef79d8be5","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc59b4dde24095efa2d46a08d8ab3e4d3e40122","datavalue":{"value":{"amount":"+0.8342925906181335","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":"Q3482822$C40F6291-93FF-463E-AD6D-E7F17A2E3B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea294ec4f01088d81aabd4eedf00652a9700fbeb","datavalue":{"value":{"entity-type":"item","numeric-id":3832037,"id":"Q3832037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9192e7215cd64fb41f9a18cd115805868a0ca6","datavalue":{"value":{"amount":"+0.8269464373588562","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":"Q3482822$9CD02DF9-3EEF-4944-8DA6-38E8B9E2ED36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc03231c8b2da69323dec19dd32ea7016e52a15","datavalue":{"value":{"entity-type":"item","numeric-id":3975138,"id":"Q3975138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df1925797106df69ab548d6bf508afcd660985e","datavalue":{"value":{"amount":"+0.8262613415718079","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":"Q3482822$95BAC5B9-2809-4C78-BFEA-91AE240A87E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3482822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3482822"}}}}}