{"entities":{"Q5408412":{"pageid":7437986,"ns":120,"title":"Item:Q5408412","lastrevid":41545833,"modified":"2025-05-05T16:56:45Z","type":"item","id":"Q5408412","labels":{"en":{"language":"en","value":"Abstract satisfaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282418"}},"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":"Q5408412$5BA86D06-867A-49A9-B58F-310C88E2DB46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9bbbc1813711478920c01ffd413b18750389781","datavalue":{"value":{"text":"Abstract satisfaction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408412$774D970A-3FD4-48D6-9130-2CED605964A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64ff241a227710f356c92b7e8329e9cdf14913b5","datavalue":{"value":"1284.68392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408412$3C483698-AFFC-468A-90AB-4B0923400551","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d367f72ceab425a773029acfd3737fc8c048ef3","datavalue":{"value":"10.1145/2535838.2535868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408412$873A188E-A806-44EB-AAD1-25546FA5BDE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a0eb23269ec1fc8704436b597276cf095d31ae","datavalue":{"value":{"entity-type":"item","numeric-id":479834,"id":"Q479834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408412$C5CCFB3F-256D-4416-B298-7F93282406D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3f434bb92565e5cf6d2b60aac0245f4a58be6b3","datavalue":{"value":{"entity-type":"item","numeric-id":479836,"id":"Q479836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408412$EB177BC4-59D9-46A7-9C13-3B1D88C565F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408412$C2F45993-C0C3-46DA-981B-60DC9DF3CBC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408412$512D7CF2-5CBB-4189-B58B-E927AE230030","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408412$0FEF9E55-CF0C-4591-9C00-E0B10EF7D1D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408412$EB71DFC1-7F4C-4541-A421-688118FFF20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408412$994510B4-F842-4269-91C5-11D78D338FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408412$3C11FE1B-7130-44BD-A9A3-66C2562C52C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408412$B7973E9E-C85D-496F-9F4A-E2EAA0CBFDF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96b48c48746e6947e996e143591c19a94bc68f7b","datavalue":{"value":"6282418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408412$773AC2F6-5831-4798-B8A3-71BE7A0F9E80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408412$C9FDEE70-30D9-46F2-A36B-0EC0893CCB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408412$8EED78C9-26AC-4390-A562-6DFE7B422B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408412$D5A340E3-BF35-47B7-B9A0-F2FDD18949D1","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":"Q5408412$355458E0-F160-41EE-9310-C690F15BFD38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6353b560760bf7d170423adc21e04e82e82059cb","datavalue":{"value":"https://doi.org/10.1145/2535838.2535868","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408412$9591E8A3-E2BA-4F31-8B39-8004EC873341","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7edae998185f3645bebe7a92d1e726aa71f9715c","datavalue":{"value":"W2293030156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408412$9273B9B3-59D7-4447-B1F9-E7A4E521C37E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8a46dc31ce82601ca15049c8c302186dd7cf24","datavalue":{"value":{"entity-type":"item","numeric-id":685107,"id":"Q685107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3f48779cc10112a4d104b87149deb5632912cf","datavalue":{"value":{"amount":"+0.7829647","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":"Q5408412$98634963-E740-4228-BFFF-2F65AC91ACD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d96e1e01c843e0621c27c4f2663a2b2a3327f2f","datavalue":{"value":{"entity-type":"item","numeric-id":4660262,"id":"Q4660262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffa9e9d8b52e6267f9d54bd61a5e75dfb33d83a","datavalue":{"value":{"amount":"+0.7754217","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":"Q5408412$29122DE8-B33B-4B1A-9B0F-89B2C80CBA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f0d2e5bc4ef30bcb51ac098af50a510a503082","datavalue":{"value":{"entity-type":"item","numeric-id":4270071,"id":"Q4270071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4837a162e1cc50f48bfde949d56f8c1c068c4f","datavalue":{"value":{"amount":"+0.7705231","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":"Q5408412$AE92B254-6385-4F76-811C-C2C8BDF30B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1682e1c5de0ee9aa02e80d95e89e5566cf3dabe","datavalue":{"value":{"entity-type":"item","numeric-id":3315510,"id":"Q3315510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3bf6b54ea46e11477ee77e08b002111e979f4c","datavalue":{"value":{"amount":"+0.7606716","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":"Q5408412$7D7BF125-4066-43C8-90FD-8AD7B2F682B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ebf0ed15eed88bf55be0ab6dd84c29883f2fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1182694,"id":"Q1182694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b0f6f6687b54728f813620febcfdabace3d906","datavalue":{"value":{"amount":"+0.7570969","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":"Q5408412$2F6C7402-063C-4640-8A4A-A43734AE59BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c681a56e97085b227d5d521b4f082330b98c40e0","datavalue":{"value":{"entity-type":"item","numeric-id":2266714,"id":"Q2266714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d636b01ebc872554e8498b92cc4ce036c86eb2e5","datavalue":{"value":{"amount":"+0.75555867","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":"Q5408412$7CFC98C9-0503-4070-ADC0-D1B08D87F472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b68c542d7ab868367b619e59e3cfb18cd22641","datavalue":{"value":{"entity-type":"item","numeric-id":1704504,"id":"Q1704504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60cb84b2577df1e0cba3ef5a0de16fe81546e7b4","datavalue":{"value":{"amount":"+0.7455637","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":"Q5408412$7E978536-E1C7-41CB-935D-DE3C69F199EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408412","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408412"}}}}}