{"entities":{"Q4728268":{"pageid":6757845,"ns":120,"title":"Item:Q4728268","lastrevid":49062826,"modified":"2026-01-06T13:18:10Z","type":"item","id":"Q4728268","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4003561"}},"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":"Q4728268$20AF57D1-3755-467D-AC2F-5F6E543D605C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16f69b43c50d0916f1b51f97b70d546052a8f035","datavalue":{"value":"0618.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4728268$613018F5-39AD-4C84-BA83-A2FA5886F18F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0aee48f57bacf44e01af9bc56c6eda958ae06c8","datavalue":{"value":{"entity-type":"item","numeric-id":211660,"id":"Q211660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4728268$949907B7-B3F3-4F11-85E0-22A62AF80CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f22a4517439b77712eaf9ecd1c0d2bab5b4d082","datavalue":{"value":{"entity-type":"item","numeric-id":211661,"id":"Q211661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4728268$5CB32A89-9985-440A-BEBD-002E4085384B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4728268$C678EFF5-373D-4090-B4F8-6E8B011C28AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4728268$A8448C78-3652-4DBA-BF16-8B450DD89250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4728268$FFC0C3BF-A1AD-4606-967D-3202B906839A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4728268$74A23ADF-0DB2-4FE1-AF66-8DBE0B3DDAAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45d9ea1d2429020c1567d9b04247a4064cdd0386","datavalue":{"value":"4003561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4728268$FFBCB290-7190-4DC4-BE45-FA2BD1C9F662","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d69d6574b865e16ed58566dc98b30de8f4cad4","datavalue":{"value":"link deletion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4728268$C4F6F877-D8EC-442E-B8A7-77DDF24E581F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfd8b401ee2b8526c3429699470c2f55cd020172","datavalue":{"value":"graphical representation of quantifier-free predicate calculus formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4728268$46D5AC9A-2A8A-4C4D-959B-C84C1F6D0114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fdf94b8b326eadaf93a4e23046cf70cbbc6c9f6","datavalue":{"value":"rule of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4728268$506DD3F7-26AD-49BF-B194-E9CDDAB80652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89a7fb03513d33456302ea80d6caefbe47399371","datavalue":{"value":"Prawitz analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4728268$6728E523-6EC5-43BF-99DC-1E34B5CBD747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eee6bf22fe2afa51f94ac79b93f9c56c16d45244","datavalue":{"value":"path resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4728268$C8D5346C-1FFB-42CD-A392-90805400CF8C","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":"Q4728268$9E5E86D5-E644-4140-9CF3-08A8E4E1E2A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b24d570d487b8605da052e72dbbeee6a95536f36","datavalue":{"value":{"entity-type":"item","numeric-id":3140015,"id":"Q3140015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e37f8e22c7432cc73e4b50dbe0b45cd7dcabda3","datavalue":{"value":{"amount":"+0.7760835886001587","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":"Q4728268$BB6EE763-A199-4A98-9AC8-EDA1F064AF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4973fbc94cbacb112e4fdbded73ea732fc8e486","datavalue":{"value":{"entity-type":"item","numeric-id":3753517,"id":"Q3753517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbee33beec3551669ac7c176d656f75f83378644","datavalue":{"value":{"amount":"+0.7760835289955139","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":"Q4728268$1C47DE5A-90D6-4907-99D1-CC06A79B6407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d826d99d59bf7ee171015815b426428bfe39fa","datavalue":{"value":{"entity-type":"item","numeric-id":3751043,"id":"Q3751043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8485b8a3d8fe7a2b4110864fa86ee4ec12728113","datavalue":{"value":{"amount":"+0.7695502638816833","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":"Q4728268$BF403F82-90EE-416D-9A5A-1F49C0F238FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7490cdf643a9cfff9a0339b2f7db91469392464","datavalue":{"value":{"entity-type":"item","numeric-id":1097716,"id":"Q1097716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813e9200c2ec72e3a7dc76813143a5785ad931a0","datavalue":{"value":{"amount":"+0.7585102915763855","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":"Q4728268$4E732D7D-2B4A-487D-8DA7-02C137A4860F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c800c934ce4f567ffd7578a4ff43e22ac0271eee","datavalue":{"value":{"entity-type":"item","numeric-id":3750139,"id":"Q3750139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f850e2e62d1ea64e0791ee708b866cc75009d2","datavalue":{"value":{"amount":"+0.728779137134552","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":"Q4728268$1EE322B3-094A-4CAF-8D99-421D40433D17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4728268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4728268"}}}}}