{"entities":{"Q4249904":{"pageid":6279505,"ns":120,"title":"Item:Q4249904","lastrevid":46835946,"modified":"2025-12-25T16:52:29Z","type":"item","id":"Q4249904","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303351"}},"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":"Q4249904$2C34D9B0-5CEF-4DBC-AA10-6B6E20CA2154","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d029d12e571ddaf93d408186e9a86b9c80b91d01","datavalue":{"value":"0924.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249904$23901DFB-0F9A-4241-813E-72A4181834D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dfe61630de7cf01a3a9198b95bbb5b37622d9a8","datavalue":{"value":{"entity-type":"item","numeric-id":2751357,"id":"Q2751357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249904$2E7C37DB-11CA-49C2-93C2-F8B874FCA75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8d3cec040dfa66c80e7ad54c91ebb9e8f2031a8","datavalue":{"value":{"entity-type":"item","numeric-id":1856147,"id":"Q1856147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249904$3ADD8A28-3A74-4E36-9504-F8347285FEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249904$E48067EE-E467-4B21-BC1D-DDAB03C44DEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179b40780f93d89d986b6f1110abe8d9772f7f5c","datavalue":{"value":{"time":"+1999-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249904$383BFF00-3368-4F1E-B8C9-B9184BE563A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249904$C0F8F862-1098-4DE2-A411-E45B557896BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249904$F8E7E705-505F-4137-8338-C966F0E1DAFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b31f3ed129bbbfbdbf9ea27970de03730dada6d","datavalue":{"value":"1303351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249904$60879838-3E09-4725-BB62-655BCDD1D78F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5912ef45e541e6973ccb60966b82425485b98fed","datavalue":{"value":"renaming of formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249904$5E5424DB-8C7C-4255-8232-5F98030C724C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5fd8b171b185d7224ccc6e4d66628a9d854b42e","datavalue":{"value":"refined Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249904$1CFED55D-E685-42F6-B138-1665F6FAA4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0717abc1db6dce161561fd00c557a166e97ec7f","datavalue":{"value":"clause normal form transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249904$54E9D72F-0F08-417C-B641-74C293B95B80","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249904$421120DE-DC10-4063-B887-B96CEB84CEBA","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":"Q4249904$7BEE586C-A74B-4D31-A5C3-DFFA54467B61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2047368386fdb91ad29b1b630e2eb2b63c5ea54","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610987e150a52e4de4f1efed91eb8d1565248992","datavalue":{"value":{"amount":"+0.8332005143165588","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":"Q4249904$93BDFBA2-0C6C-4A3A-9526-FC336306A864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14434f9c04fa2c41336a9ed2ff2439ce618612a7","datavalue":{"value":{"entity-type":"item","numeric-id":4928432,"id":"Q4928432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5a32d68f176b5427642530ca8531ceb95d6331","datavalue":{"value":{"amount":"+0.8262560367584229","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":"Q4249904$BD7432ED-4439-4C6D-8A25-A1FE47733F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b277717c8a2c42e9b033effc04c094004c0e77","datavalue":{"value":{"entity-type":"item","numeric-id":6488560,"id":"Q6488560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7fa9baa0c416b685857637ea8dbb9f1285f53fb","datavalue":{"value":{"amount":"+0.8142147660255432","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":"Q4249904$50612F20-D9CE-484F-AF3A-90B20D51D5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6f16903221c3706dda4976c4007e748246f154","datavalue":{"value":{"entity-type":"item","numeric-id":1201346,"id":"Q1201346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1c7f43ebae2883e11288c642c5d350412c6a59","datavalue":{"value":{"amount":"+0.7952049970626831","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":"Q4249904$84570EC8-C7EE-41B4-80C4-3A73502E3B12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249904"}}}}}