{"entities":{"Q5723180":{"pageid":7752734,"ns":120,"title":"Item:Q5723180","lastrevid":32365940,"modified":"2024-03-19T22:21:25Z","type":"item","id":"Q5723180","labels":{"en":{"language":"en","value":"An improved prenex normal form<sup>1</sup>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3186868"}},"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":"Q5723180$83450A80-A101-46F7-9A58-29F0590F9BF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63fccc6541e268a6a67268356b890b4a0b5e7ec4","datavalue":{"value":{"text":"An improved prenex normal form<sup>1</sup>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5723180$0D89AB44-D4A5-4098-ADF4-91F123D63144","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21308c29798b0fe5c58c3d13bc142eeab824f728","datavalue":{"value":"0115.00602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5723180$F9744A71-2558-4F3A-A4BF-B84CF5E30848","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7fc5b330cf62de9e32272d0f6cb80e4be8e1711","datavalue":{"value":"10.2307/2964650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5723180$0D47835F-810B-4E4D-9B60-7D47CC28BF0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4558b897fecb56d4dbdb8f4a78d7f6d86e4bc3fc","datavalue":{"value":{"entity-type":"item","numeric-id":1130781,"id":"Q1130781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5723180$95C57DFA-4873-4A93-A6A6-0EA4F807BA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cb0aaf2cb17a70a009b0ece4f2356bce41c3167","datavalue":{"value":{"entity-type":"item","numeric-id":386148,"id":"Q386148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5723180$5C68D91A-97EC-4BEF-AD80-7B2BAA929E3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5723180$EEA6BE65-0E25-4029-89C1-F5D4E4153CD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2ff0c8850243f6c91f9deeec455d393bf560c2","datavalue":{"value":{"time":"+1963-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":"Q5723180$9982FD8E-BFEA-492D-8A95-0EDE1EBE9245","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05c323f17f2d6c9467e9ff184fc3dd5ab5ab5878","datavalue":{"value":"3186868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5723180$4D1ECBC4-0FA5-4002-84DF-A02C12E5B709","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5723180$27AD9D26-4101-4F9C-90A5-A4A1F44ED2EA","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":"Q5723180$A1A39EB8-F519-4C17-9836-20A0B9EE85D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9659a98827fb460286d5d136c2b8020e16a82d8","datavalue":{"value":"https://doi.org/10.2307/2964650","type":"string"},"datatype":"url"},"type":"statement","id":"Q5723180$E955D343-32E1-4DD0-A229-0B94A190E500","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f4036d587a18df829cc515d1401f8ef52ebdc8a","datavalue":{"value":"W2007521205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5723180$46F64B0B-619C-4B97-B321-453E692C6C19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5723180","badges":[]}}}}}