{"entities":{"Q4249033":{"pageid":6278634,"ns":120,"title":"Item:Q4249033","lastrevid":40714555,"modified":"2025-04-04T11:01:47Z","type":"item","id":"Q4249033","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302503"}},"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":"Q4249033$236D5504-802A-46B8-97EF-EE2A7100EC5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a241771d73768d282bb0a01677a5ebda79ceebdc","datavalue":{"value":"0924.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249033$5A587B5A-6FC8-4644-959E-3E62134D1D0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca21ff7d743cf6b0902f40630f2a6ab3da1a616c","datavalue":{"value":{"entity-type":"item","numeric-id":174769,"id":"Q174769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249033$AEBBBAB5-2C30-4788-AB91-033E1B9B4E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6a6cf0affc0bd3d92ff91b52146889f0c8e6de8","datavalue":{"value":{"entity-type":"item","numeric-id":580493,"id":"Q580493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249033$F165E2A1-8D9C-497D-B43B-C68D1A9EF9ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a24420eec7e03257dc6bfa6b280bd944a062c7ab","datavalue":{"value":{"time":"+1999-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249033$C157AEA9-E9E5-415F-89D5-1FDF099D3D50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249033$552CE16C-1D90-4B96-BA17-6BEE22E327CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249033$6D0E4AB5-A720-4B2C-B695-FB725938C70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249033$ADB9D6B9-AFD4-46F1-B2F1-14A0D9B03FE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11b0f6ec833e92ef5ee5753c66a8c4ac61090982","datavalue":{"value":"1302503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249033$C60C0AAB-826D-420B-9A4B-E2CB5ACDFB74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6792ab787021778f5f20cba1d78917f3fc46dd","datavalue":{"value":"inductive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249033$6E3B5A66-AA3F-41C3-80D8-D95654D3699C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9c2931efeabb6be53fe1748bab25fbce055d99","datavalue":{"value":"algebraic specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249033$3D23A5FA-B0E7-40D1-9C69-D033974DFD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae942d96b6b5ef91d6fc0765b50004db0a79243","datavalue":{"value":"conditional specifications over built-in algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249033$2AF25E9C-8F7D-4D12-92ED-D06EF4722642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249033$6B91ACA2-5E78-4DFA-A66D-E083D2DC3DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249033$D3B73FAA-24E1-45C1-91AC-BCB1A11E6E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52a0ca60682f39c941cc353cb469636e13cf8c76","datavalue":{"value":"inductive validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249033$D745C235-E369-4D1D-AD6E-075E102F1015","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":"Q4249033$E9C55C59-9428-482F-AEFD-05F8F4A6B7BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ecae2da48cc5077a2cb61d68469a5ebeeb0ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4336265,"id":"Q4336265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2d390e970ca517340b6561df80dac12cc6e9ee","datavalue":{"value":{"amount":"+0.9210225","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":"Q4249033$00550F4E-D464-4CDC-B7ED-5CAA8CAF3349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6c4658e500acac07a786b65bb37fefea5676ae","datavalue":{"value":{"entity-type":"item","numeric-id":5881199,"id":"Q5881199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c2c6feb4a8434186dd4d2722851f5c3fd04d4bf","datavalue":{"value":{"amount":"+0.9167366","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":"Q4249033$FE54C288-BE47-4D23-AC8A-97A6A13E8329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff34e819f735073f36b1ed7a08ace7fc0ab8c835","datavalue":{"value":{"entity-type":"item","numeric-id":3817654,"id":"Q3817654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291933970c4248daf5c6563fb8da93735fefd07c","datavalue":{"value":{"amount":"+0.90671086","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":"Q4249033$0A779C49-9A4B-4943-A8C2-D1EA96129341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e67eac21f86fcbd3cb97fcffc270f13a4edadf6","datavalue":{"value":{"entity-type":"item","numeric-id":2344621,"id":"Q2344621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a120cf6ddf024c8384d8e52e0d2f3244de90ff83","datavalue":{"value":{"amount":"+0.89784837","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":"Q4249033$FB03DE03-1F56-48FE-8EB0-EA3E39A70510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8537b16bd2ab63f05b68cdcf3fa52d30ef9300","datavalue":{"value":{"entity-type":"item","numeric-id":5881188,"id":"Q5881188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894c998c60d25624290b1e8c6df5f9d18ebddb50","datavalue":{"value":{"amount":"+0.8917585","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":"Q4249033$DE71E8DD-F175-44BA-91B0-D3CEB931840A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447d51497f70a559f9674bac7c9b635b7466e61b","datavalue":{"value":{"entity-type":"item","numeric-id":1918497,"id":"Q1918497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1835369795c90eb3241cee31f5722c262abcae17","datavalue":{"value":{"amount":"+0.888493","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":"Q4249033$32F33B17-264E-4586-B359-53745020329B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f91f2a04af7ed716280a69b31bd5722b64e604","datavalue":{"value":{"entity-type":"item","numeric-id":4246725,"id":"Q4246725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3b04cd2430a385a71ac4d0745d0962b8f97f80","datavalue":{"value":{"amount":"+0.8880082","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":"Q4249033$B9608567-62AC-436D-AD86-D54343AF157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8aa88f960b08160c56495dd31aafe873551353","datavalue":{"value":{"entity-type":"item","numeric-id":3732983,"id":"Q3732983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e3f9fd3a8bfd7df613f7d228e83f4f822bda11","datavalue":{"value":{"amount":"+0.8870171","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":"Q4249033$C89E5F1B-33BD-423C-BDC1-876406BB8541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db476a1c29ee3caead0e30258c270cd05024359d","datavalue":{"value":{"entity-type":"item","numeric-id":5881266,"id":"Q5881266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd3416fa370c3bddc642c4ce455086182e85fd91","datavalue":{"value":{"amount":"+0.8845433","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":"Q4249033$97F55753-F784-4335-80FF-E62C7EB4D73A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249033"}}}}}