{"entities":{"Q4548193":{"pageid":6577785,"ns":120,"title":"Item:Q4548193","lastrevid":47970259,"modified":"2026-01-03T05:40:31Z","type":"item","id":"Q4548193","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1787153"}},"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":"Q4548193$ADFA8EA4-F130-40A8-A95B-36953B7EC0DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd68f98b3f2528cae7ba75a5049cf22a2fd58349","datavalue":{"value":"1009.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4548193$E48D10AF-FDDB-4C55-892A-282F55ACF71F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284fbc1bc15076f8bcaa5ac2c8ac8b95878097ea","datavalue":{"value":{"entity-type":"item","numeric-id":946571,"id":"Q946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4548193$6367E0D3-BABA-4A1E-AE10-F6491C92DFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4548193$E23EBD2E-AEE9-40C2-8CF0-4D54CA49E3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1049fb3a5c1f5f050767d0dfd05ea2dd53468c","datavalue":{"value":{"entity-type":"item","numeric-id":540692,"id":"Q540692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4548193$93A0C354-CEF9-4FD0-9E2A-FDAE33B6DEFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c29b947d701d478aa12d107bbc6ea14baaef48c","datavalue":{"value":{"time":"+2002-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4548193$C5FF51BE-426D-486A-BF52-47FA31A79344","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4548193$C0EB89BC-0336-4B84-A070-701C556C20C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4548193$1DDD9A13-A6CC-46B4-88B7-35E79ED63BC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77624006f6c9b9ccbf228cc88df8fdd47c674676","datavalue":{"value":"1787153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4548193$21F54E4B-68C3-4BE3-8935-36689BE9E770","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4548193$354F74AF-054A-4864-BE84-D87F0D1602CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15d71f6729339fb7943f4b33019522947e53ab4d","datavalue":{"value":"diagrammatic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4548193$8EDD6141-6A92-421C-B52C-14F17649D949","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4548193$CC884713-F322-4BB8-8C2F-8A6AC9CC0176","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":"Q4548193$1F40C5AC-CF51-40A6-97AC-D79F89B44564","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0db81afa1231f98253d122649a59a93379c2247","datavalue":{"value":{"entity-type":"item","numeric-id":1306168,"id":"Q1306168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48701c75e0d0ed91d3ae58981386ce3242e0db9","datavalue":{"value":{"amount":"+0.999683439731598","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":"Q4548193$984F994E-15F6-4FF0-A74A-DF2AF1BEEA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2993ffb897d110d011eb9b78c87829edd531b30b","datavalue":{"value":{"entity-type":"item","numeric-id":4789490,"id":"Q4789490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470dfa9d5a1cc07e8b1a060188584fb1900abc9f","datavalue":{"value":{"amount":"+0.9387498497962952","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":"Q4548193$A79778B5-71DB-474A-82B5-FCE6EB94D63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8048445f0ec9edcf6f600ec4091a91298dad0ede","datavalue":{"value":{"entity-type":"item","numeric-id":2467560,"id":"Q2467560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f5e205cf24a6d92122b8fcfb2847e7b2a52b75","datavalue":{"value":{"amount":"+0.9133705496788024","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":"Q4548193$BDBE8C5F-F735-465E-BECD-6EFCA64E95EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959efe7ffa388a0c3f8d087cc854d2999ffc7d71","datavalue":{"value":{"entity-type":"item","numeric-id":2753884,"id":"Q2753884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc976d7559ab7579601e35971e3fcfdd17678375","datavalue":{"value":{"amount":"+0.802433967590332","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":"Q4548193$022E834C-E389-4782-9B51-C865B79642DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddfb425d157505a6249a2923caf4ab8d742bb42","datavalue":{"value":{"entity-type":"item","numeric-id":5691514,"id":"Q5691514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8b64cb547f1b24ce12c642acafd40a3f48a01a","datavalue":{"value":{"amount":"+0.7812660336494446","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":"Q4548193$D20227DE-7D5A-4182-BF0E-5FDAF1F323F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4548193","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4548193"}}}}}