{"entities":{"Q4409154":{"pageid":6438753,"ns":120,"title":"Item:Q4409154","lastrevid":41746419,"modified":"2025-05-07T21:04:57Z","type":"item","id":"Q4409154","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1942454"}},"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":"Q4409154$DFD0AE8D-F9F9-4CE3-936A-55764F981440","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69040d010555fdecb851d2a3a339b468739f9607","datavalue":{"value":"1019.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4409154$E1CDD7BC-374E-46E2-BA5D-686313FAE873","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bbe8773717da930d5581b0e34820431f6fcbe0b","datavalue":{"value":{"entity-type":"item","numeric-id":3372482,"id":"Q3372482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4409154$3A83E7E7-41CB-4D72-A38C-669D4257C110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1e0deb06a9287a1e74623f4839b0b1e5b1d5c18","datavalue":{"value":{"entity-type":"item","numeric-id":683711,"id":"Q683711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4409154$EC215887-8A97-4D72-B6B7-FC85D0DBEBAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b4101504a6d0e37a5946d6cb9fc5f2100ad9f87","datavalue":{"value":{"time":"+2003-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4409154$7E8B53ED-48A6-4CB8-9ADA-736C9F185572","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fa59733af21818b6a256c4e88c212e1ad09cfaf","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2441/24410103.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4409154$341917E2-CA54-4A21-9842-6BA930D6A568","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4409154$33F287B2-85E6-40D3-8476-04AF819D57A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19b596066264e4ce853546a9e16d1158ee732444","datavalue":{"value":"1942454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4409154$A68F05E7-4139-497F-8F69-82BC0E2937ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49097a6a646d9605427866b5a7b7d49dd8318e87","datavalue":{"value":"constraint systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4409154$051D68C5-CA73-4730-9AF6-E7EE4B26B38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c2f5832dfcccc0ade18342f09637f003eaf6cf","datavalue":{"value":"hereditary Harrop formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4409154$F9E63654-2DED-4CC5-90AD-2935F5A43FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93870bea9e95850a8c2c168e966ba73051e6fe83","datavalue":{"value":"real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4409154$75B10C20-7BDC-4C2F-A999-C5AE17EF6A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3dd7a539b9681dd9f79774a3bd258bf4e1ac45b","datavalue":{"value":"finite symbolic trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4409154$D302C688-195E-4250-808F-DEB8E755CE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4409154$B849E7F1-41C0-493C-94CC-691DFF83A20B","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":"Q4409154$9F185564-B113-4163-A2AC-0D2BF62237A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81f8b22cbd4571f4b54efb43c9ab8fb8ac99dad","datavalue":{"value":{"entity-type":"item","numeric-id":5277761,"id":"Q5277761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a131e5754a6999b106aaff5f6757b3f3da8dbe","datavalue":{"value":{"amount":"+0.8518297","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":"Q4409154$36155E84-86FE-4AB3-A4CE-B18A59DE92D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7facc7336f733af741f86ab10b6c521ff163a004","datavalue":{"value":{"entity-type":"item","numeric-id":2760106,"id":"Q2760106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de0ac385e386ec64fc11291e85d2a42a516f6856","datavalue":{"value":{"amount":"+0.8492978","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":"Q4409154$45816838-B094-4FA0-BBC9-2E5E75678096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e4d280297ba67f88fdd77a217e85a20a6e58be","datavalue":{"value":{"entity-type":"item","numeric-id":2974776,"id":"Q2974776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5fcf1c308dde4e49d32d9d39e81c42b7e4c21c","datavalue":{"value":{"amount":"+0.84457254","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":"Q4409154$036B1CA7-CF69-428C-BCB3-FB44391ECCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c7821883829d469eb1e435ef0fe73b21f46663","datavalue":{"value":{"entity-type":"item","numeric-id":4922914,"id":"Q4922914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e414d0d050583e3498e236ef55aebb4530d3353","datavalue":{"value":{"amount":"+0.83528","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":"Q4409154$D7B7D080-CF25-4C87-8901-9F1C647B5566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a52485301c29bd44a90dcbd8e4e6bcbe20ebd1","datavalue":{"value":{"entity-type":"item","numeric-id":5897219,"id":"Q5897219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4baa782bbad5297875e168c2be84d45d820430","datavalue":{"value":{"amount":"+0.8348638","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":"Q4409154$C3A15F0C-9EB7-4C1F-BB7C-AE23F09250FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef4b00de09d13d868bc4df787a2e6caca517c04","datavalue":{"value":{"entity-type":"item","numeric-id":6169208,"id":"Q6169208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1a054709c4fd525a530168fb37f1927d5dc4ea","datavalue":{"value":{"amount":"+0.82996386","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":"Q4409154$81D16DD9-0780-4859-9A81-C5433A6D0E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de8e7fa58ed2213f3d4c60c6110c267697c8931","datavalue":{"value":{"entity-type":"item","numeric-id":744213,"id":"Q744213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3767ede82c010c9f7d0d95726ff8db0d14dd828c","datavalue":{"value":{"amount":"+0.8288792","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":"Q4409154$BE153276-D4C5-46D7-9F2F-12B5C1595206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644f6a5eeb893dd918cdf3cacd1c370a8426fb04","datavalue":{"value":{"entity-type":"item","numeric-id":2452760,"id":"Q2452760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13a5081d0cb457b924793f13a936bf51a2fdeab","datavalue":{"value":{"amount":"+0.8288032","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":"Q4409154$8A7271D8-AE96-423B-B926-208243899819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4406343ba1205f62dc8f4840e89b1ab071e6081","datavalue":{"value":{"entity-type":"item","numeric-id":4519169,"id":"Q4519169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9170c9244b0b29b1edf10d0502117fdcac3fb373","datavalue":{"value":{"amount":"+0.82847124","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":"Q4409154$95C2EDA7-CA1F-4D87-96D4-03E44367E069","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4409154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4409154"}}}}}