{"entities":{"Q4454845":{"pageid":6484444,"ns":120,"title":"Item:Q4454845","lastrevid":40793919,"modified":"2025-04-04T17:41:39Z","type":"item","id":"Q4454845","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2053218"}},"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":"Q4454845$8ED7D80A-71EA-4AB1-8D8A-4EB98A0E3443","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ce661952a8910aa160368803bcd25c38d493f1d","datavalue":{"value":"1046.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454845$D6470D03-BDDE-4823-8414-258431E1DD7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4454845$561682AD-A709-4F31-8C4C-1158B4EA2EFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d647c6aea86f080abca0b657f474344bc755fa73","datavalue":{"value":{"time":"+2004-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4454845$2DDBF612-8172-4350-BDCD-B6213E5C5A52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454845$2FED4D22-DCED-4BFA-A569-8B5D11DA2661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454845$F17F9EB3-8265-4DD0-8872-A6988AAF199F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"944280db03e9e5be612cb7df04a14bed4c6d17d6","datavalue":{"value":"2053218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454845$65BF42E2-33E5-476D-9D8E-5C01B5D58193","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6da4b3b17a9c9f1f96d899cec70ac99b3e5443e9","datavalue":{"value":"modal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454845$33E66343-3C13-4B1A-ABAC-699705961EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454845$9212801C-5E8A-4F81-84E3-03C20A9E7E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454845$11FDEDCD-1AC2-42EE-AAAC-7F005996F987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454845$F286D8CA-DEAB-48A0-AC68-73B1B9394DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454845$A70370F9-AE31-45B3-A7DE-C7DC880D3151","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":"Q4454845$401D417E-19CF-4CD0-ADBC-A1CFB2E2CDFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226ca6b8563252dc602290f45d5a3188fbacf2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0feadce959c87333523d0389fbf71cc116211468","datavalue":{"value":{"amount":"+0.91554457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454845$FF635469-6D53-4931-8406-760452C3709C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9104d6efaf18f96b4552d536a849788e51577e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3824388,"id":"Q3824388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf8b53baf4324ea32cefc3db871a25c68e563a0","datavalue":{"value":{"amount":"+0.9046893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454845$BE98BCB1-4D56-4E02-A818-92CEE624938B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c378675ffe377bc56267cf1f2a84bd5babfc8658","datavalue":{"value":{"entity-type":"item","numeric-id":4647550,"id":"Q4647550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b941d1155701b822e8e87a401b29372aa92457","datavalue":{"value":{"amount":"+0.90137815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454845$0D724937-1B67-4402-A160-672D518A78AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82186a9444265df0b7a4c90b5d876883297e067","datavalue":{"value":{"entity-type":"item","numeric-id":3060980,"id":"Q3060980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0c510d650629efbd037a62938d7eb26a544a2c","datavalue":{"value":{"amount":"+0.89937556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454845$F8B62C89-E50F-4AAF-96BF-CB5CF283E86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"854f95603a1001bf69cf314274c89b849ecd93d2","datavalue":{"value":{"entity-type":"item","numeric-id":5395098,"id":"Q5395098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8636d45ee737325148c9bbee5a2025d01cbbe91c","datavalue":{"value":{"amount":"+0.8978703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454845$B26C29D4-BCB8-409D-975B-B4B97D7662B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7b269e781d4aa3c4ace2f7c3de9f877cc3c90","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc402e347a77b2369e65c5e93ac96930ee85b549","datavalue":{"value":{"amount":"+0.89758134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454845$2FA21D3A-280B-48F4-A92C-51D69882F0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e349ead2c8723fc6d85a2ed0948a2af5ddefb804","datavalue":{"value":{"entity-type":"item","numeric-id":3768868,"id":"Q3768868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5df2807432a898dc1f703d066ce1ef33ab52d2","datavalue":{"value":{"amount":"+0.8973246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454845$5AC1B15C-41CA-47C5-9715-1031CEF0BDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a31c801e93ceb344544bd9134806de981b021","datavalue":{"value":{"entity-type":"item","numeric-id":4798640,"id":"Q4798640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1fb07d693761d79e97ca010863db98eb296cc0","datavalue":{"value":{"amount":"+0.8969495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454845$33CA6EA9-527F-4C25-B692-0503250A17AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ab11b413f55388f9ae7fbf28410df8cbcc6140","datavalue":{"value":{"entity-type":"item","numeric-id":1350529,"id":"Q1350529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c87da693096fdf6190922e28385b0f1676fb29c","datavalue":{"value":{"amount":"+0.8958268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454845$FDFF56DC-4F82-4D45-938F-C17EAC2DC968","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4454845","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4454845"}}}}}