{"entities":{"Q5484901":{"pageid":7514461,"ns":120,"title":"Item:Q5484901","lastrevid":41206069,"modified":"2025-04-19T07:02:50Z","type":"item","id":"Q5484901","labels":{"en":{"language":"en","value":"CONTROLLABILITY AND COOPERATIVENESS ANALYSIS FOR AUTOMATIC ABSTRACTION REFINEMENT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5048161"}},"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":"Q5484901$3B138AB7-0DF2-4165-B444-CBCC787CDC2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4292fcee19993d54e4db5cf4151f8df4a4c25581","datavalue":{"value":{"text":"CONTROLLABILITY AND COOPERATIVENESS ANALYSIS FOR AUTOMATIC ABSTRACTION REFINEMENT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5484901$C9F5F8BC-96AF-4BA7-A2DB-02071C90A5BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d06f636ba1f120747ee0b295894d59b333b61928","datavalue":{"value":"1096.68674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484901$C1799907-3A58-4EC8-9962-A64D5E07E7DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08ea09b573fc3f7093c843ab27eb7535914d8bbc","datavalue":{"value":"10.1142/S0129054106004091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484901$60C485FB-FE32-460E-9B43-E00362E1435A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1531b29fc8460d12e961dc0a206b75beb56bb881","datavalue":{"value":{"entity-type":"item","numeric-id":2722061,"id":"Q2722061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484901$4D8B3B9F-82C6-4E2B-9364-380B14ED2534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44b043bef7dc46cd8263914d1c26ba7b658fcc37","datavalue":{"value":{"entity-type":"item","numeric-id":1291692,"id":"Q1291692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484901$DF1830AD-4EDA-470D-B28A-868D543E4AFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484901$8258F8A5-297E-4997-9B55-CD41A56C6053","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a75cc68bad3bb181567a6c54a319178a2e20902","datavalue":{"value":{"time":"+2006-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5484901$4CBF74C6-0044-414C-93F9-B4ACD48FAB16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484901$0E016664-78E4-44B6-83C7-7FA78880AA75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbbbbf8b8ed57eb4787dc535cb7f6e7f70463fce","datavalue":{"value":"5048161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484901$ADDD1F7E-4F96-4B4A-AC5C-FC5D4516891A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484901$F881DC70-4B74-4F2B-96A2-6B5571ED769A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484901$6F609DDF-13AD-4FA8-91F1-CB8986561754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82e5295fa967420db17bb05d1fd567ce5a7917b7","datavalue":{"value":"controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484901$BC958CAC-E454-4BC7-A6D6-C04B9D325ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541f470f361721cf9d233fea326984d10d9d67fb","datavalue":{"value":"cooperativeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484901$45957858-9385-45AB-9EE4-0694E7861EED","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":"Q5484901$002B873B-7370-428E-B937-929E0BD6BEA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484901$0B7154B1-7F7C-415F-ADED-5D79BFEB0051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484901$39233EC3-CA22-41CD-A6F9-E029D699AA1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f701a408eccd1818f7ac09f37ed459dbbe27349","datavalue":{"value":"https://doi.org/10.1142/s0129054106004091","type":"string"},"datatype":"url"},"type":"statement","id":"Q5484901$563D346F-4F0C-4C38-934A-7864E9D805A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5606f3b3f22d95126da669dec4887a1717dc4a5f","datavalue":{"value":"W2066898843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484901$C269BD05-69AC-497C-A76C-B731BE0A1E04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b79d9c8853273636280488e81751eaa91a7106f","datavalue":{"value":{"entity-type":"item","numeric-id":1690521,"id":"Q1690521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba607c0ac4c226041d428cfca41453feb26cb52","datavalue":{"value":{"amount":"+0.8978274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484901$F1E22D78-5346-49B8-A47F-D59A86082C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbdf8d731bfc8142cf816f01d47910453689ce36","datavalue":{"value":{"entity-type":"item","numeric-id":2457201,"id":"Q2457201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c64b1c298085c0ee414574eb615da2c45cd4fe","datavalue":{"value":{"amount":"+0.8529492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484901$94B3EF02-6DF3-4C5D-A881-F47D289AE994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407a371c660de79fac203fe7a19d17758818a5b9","datavalue":{"value":{"entity-type":"item","numeric-id":3297583,"id":"Q3297583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce657465c0e0130fb77dc323e2a28540fa6fd6e6","datavalue":{"value":{"amount":"+0.852045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484901$E9BD6B8A-EC2F-4FE8-A550-6753C9F0F3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7164ad297b66a93a9b633bc0818ddac7c931fc1f","datavalue":{"value":{"entity-type":"item","numeric-id":6047080,"id":"Q6047080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c6a5f9cb10c14e8fc17ef3096d09928a47198f","datavalue":{"value":{"amount":"+0.84984595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484901$B67EEBC2-EF1D-4A0A-84AE-DA8E5ED2D843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ec6f3821f6633d7d875e7944adba67dee6f517","datavalue":{"value":{"entity-type":"item","numeric-id":4560092,"id":"Q4560092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8534389e9eb2f636e5391166370af8ebd4081979","datavalue":{"value":{"amount":"+0.848336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484901$B1CC7E3C-EDE4-45AF-A596-D4E4FB839C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b924f33539a420787b9c1bbc73132b6e70028d","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22229680d97da053de6acf5587df18fc9a78c0e5","datavalue":{"value":{"amount":"+0.84756553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484901$3C5C59BD-A186-4790-A44D-E20B0E6D9A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac67dda6c8d7c28eef309e4bc352cd33fc2b9c6","datavalue":{"value":{"entity-type":"item","numeric-id":4633549,"id":"Q4633549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d27c08900481352025b97216bbdbcd1f5bd25f0","datavalue":{"value":{"amount":"+0.84457004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484901$39F713F5-3FA1-44CF-86DC-5EBAFE711125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11529eb4ce409ad0cf813c2502fa801a2afa7f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4931292,"id":"Q4931292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a4226ca191443438adf8572542a35c2ea6fb8f","datavalue":{"value":{"amount":"+0.8424453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484901$6E19875A-BE86-4929-863C-1D1B7D6CC548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"479e3737500f619fae99497ed4072ce54ad79874","datavalue":{"value":{"entity-type":"item","numeric-id":4808849,"id":"Q4808849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20762fe751143d8e577514ecebca8f228bfa82b","datavalue":{"value":{"amount":"+0.8424418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484901$1EB0044B-0732-4D23-97E6-5A90A5CF81D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5484901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5484901"}}}}}