{"entities":{"Q4879183":{"pageid":6908762,"ns":120,"title":"Item:Q4879183","lastrevid":46369860,"modified":"2025-12-24T15:54:01Z","type":"item","id":"Q4879183","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 881599"}},"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":"Q4879183$999DA4BB-146C-485B-B8D3-522ED3616F76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b69cdfee5c220b2174aae1948c9352ac0c24ecd","datavalue":{"value":"0847.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879183$BF41DF7A-76F0-43C2-9AFD-1E51C12FEED1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e356362fffcb9ac1a7e580e3dc618a39965c0e83","datavalue":{"value":{"entity-type":"item","numeric-id":1028952,"id":"Q1028952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879183$A4BA42B3-54A0-417A-AAF5-9B75331A3276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3e6f83c113ec74edb7a96b8d2a2a75906bff409","datavalue":{"value":{"entity-type":"item","numeric-id":2716932,"id":"Q2716932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879183$16611CC0-6271-41D4-9AD7-1F085A478BB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6e8ac31ba2adc3c0462a571bc26630fef80971f","datavalue":{"value":{"time":"+1996-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4879183$3E16DE65-2691-484A-BAA3-A17CA4F2E421","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879183$D4827544-3E16-4787-948F-A1EDE1D4C7A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aea1e25f3729b79185fba2c921e16af53c4afa76","datavalue":{"value":"881599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879183$8B208BC2-F3D6-4258-8520-5FCA658C44D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a62e2cb39256ad8be350d962a6c33b3f71b69432","datavalue":{"value":"theorem-prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879183$A5CCB185-D4F9-466F-9D1C-9322C7A88A68","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":"Q4879183$8950A921-C71A-4120-9933-2EA9CB196D66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd2a571c34c9d98a94bf1212e55d52e9cf1b815","datavalue":{"value":{"amount":"+0.7890685200691223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879183$87BB1575-F8F2-4EAE-975E-487356FC7ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bba9d1d38869f21919fb25c6d7b47d6d55de0cd","datavalue":{"value":{"entity-type":"item","numeric-id":4013089,"id":"Q4013089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3457cc1c1af904d7349385d7c68091951a4a327d","datavalue":{"value":{"amount":"+0.7647437453269958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879183$FF5EEB39-76B0-463D-B2FA-03226893D884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d97ca8d9eef69f5c845930fd7abe53a065b6b65","datavalue":{"value":{"amount":"+0.7474063038825989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879183$2BABE615-7DEC-466D-B8A4-6D3FC35631ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0456405130c3ea41f3a066f024f9d673ca3d1ec2","datavalue":{"value":{"entity-type":"item","numeric-id":3750142,"id":"Q3750142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0dd10f00cf902f26de2a96d454bf13f80d1728","datavalue":{"value":{"amount":"+0.7464057207107544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879183$4AEE9CE1-0290-4ACD-AA1C-66E0D4D51B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da025574d6d3ac68997d14db720ee57b13f7791","datavalue":{"value":{"entity-type":"item","numeric-id":3008387,"id":"Q3008387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337e52193bfd8f2395ebab7351ba5bc149e1b0d5","datavalue":{"value":{"amount":"+0.7463493347167969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879183$A2764841-8B4D-42C7-8C6E-DD93B9BE7362","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4879183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4879183"}}}}}