{"entities":{"Q5613968":{"pageid":7643528,"ns":120,"title":"Item:Q5613968","lastrevid":31708205,"modified":"2024-03-19T19:13:40Z","type":"item","id":"Q5613968","labels":{"en":{"language":"en","value":"The Unit Proof and the Input Proof in Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3336834"}},"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":"Q5613968$55E37D66-2FA3-49FC-8DE5-C7DE4DCDD2A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74e496eee77f381e2b5065c3a71101bba90a5e24","datavalue":{"value":{"text":"The Unit Proof and the Input Proof in Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5613968$0DBE4E87-FF12-47E4-8082-E8299FC46C93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55fae876094a0e73ed1d6d8699678daf79bea23f","datavalue":{"value":"0212.34202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5613968$AEB4315C-F918-4D07-B1CE-86E7539315AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d665c1120b6d15589b71606689ca87cfc70751ce","datavalue":{"value":"10.1145/321607.321618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5613968$3F023165-19C4-4015-BB43-54FDD9A559C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5613968$44E5082E-57F6-4556-8C5A-96E74AF53DC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-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":"Q5613968$B83CDF6B-C2B3-432E-9FC8-37C7553B7CDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5613968$857D4873-6402-4B7C-85AC-87836850D218","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d02fcdba46d5d0cab690c266dec301c95099114e","datavalue":{"value":"3336834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5613968$D69E6A5C-4CD1-4EDA-A14D-8DE2A867C257","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":"Q5613968$6C7EFD05-AE60-4EBE-BD04-824328ACF776","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e4dd9fc8fe424c6044d47586feb603faea99cd2","datavalue":{"value":"https://doi.org/10.1145/321607.321618","type":"string"},"datatype":"url"},"type":"statement","id":"Q5613968$3798299F-F95B-4175-BD73-030649B2F08E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66372068e554a892dd8223cf88c37a9cd037c71d","datavalue":{"value":"W2058900023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5613968$6DBFB1DF-AB54-4F9A-8712-709585DE29D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5613968","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5613968"}}}}}