{"entities":{"Q5590786":{"pageid":7620346,"ns":120,"title":"Item:Q5590786","lastrevid":37411325,"modified":"2024-07-30T10:08:29Z","type":"item","id":"Q5590786","labels":{"en":{"language":"en","value":"Decision procedures for S3\u2218 and S4\u2218"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3310057"}},"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":"Q5590786$932E755D-DDBD-4E95-97FB-6B92A5BEDA17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41eb3612dc9eaf98a8bca93dd7643f6506972644","datavalue":{"value":{"text":"Decision procedures for S3\u2218 and S4\u2218","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5590786$184745C7-5FED-4D3B-BAF0-A6BD6F1718E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4de3056f61ad0616c1303ab696531923fb3dd661","datavalue":{"value":"0195.01204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5590786$4700138C-A933-488D-91BE-EC55C217201B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19217ee154927938c454ed9487c246d2eb704c59","datavalue":{"value":"10.1007/BF01969701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5590786$F202852F-CE86-4408-A5B2-E0A501F0B770","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fec85a9bc07d62d2770439ff52c52c6bd11d5a28","datavalue":{"value":{"entity-type":"item","numeric-id":1135850,"id":"Q1135850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5590786$37DC9110-20C8-4679-AEB9-6BE7B7FA95F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5590786$57D2C640-BD4E-45BF-96F9-385CBDC5265F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ebb271ba779bdc18e731b88d6d6d8739d7e37f","datavalue":{"value":{"time":"+1969-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":"Q5590786$F2F89521-9982-4BE9-8EEA-A915AAFA14A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c78e6c6dbfd984a796c604e0df8f74cb34d0d733","datavalue":{"value":"https://eudml.org/doc/137827","type":"string"},"datatype":"url"},"type":"statement","id":"Q5590786$3E2C147C-EDE9-48B9-AD99-E637EB64214F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01d353ca19cb58d224a7228849e3c9cd1eff965c","datavalue":{"value":"3310057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5590786$653F28DC-CEFC-4838-99F5-7D2C7783A0C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db9eec9f8678adc5795d2749c1b35b75bb9eac3","datavalue":{"value":"general logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5590786$84942CB1-57EF-4C24-8532-DB0BD8A10015","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":"Q5590786$9B05F0FD-11A9-4C3F-88FC-0AC035EB7969","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d1c043035191d540c37555c23f0303b7675915","datavalue":{"value":{"entity-type":"item","numeric-id":3241192,"id":"Q3241192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5590786$35635253-DA0A-42EA-B134-A49A648B8F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5590786$0312301C-0FB0-4C9D-B519-91B0BBA661F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1048dc0fcd367db12fb0aa2ac201b2245e294172","datavalue":{"value":{"entity-type":"item","numeric-id":3291523,"id":"Q3291523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5590786$CF0A36E7-D14B-4381-86E0-8BE9254170DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5590786$A506D655-2B59-41A1-B419-64BE7FA9AB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5d48e6b7198f657e523b30feb20f33ccb8a9cd","datavalue":{"value":{"entity-type":"item","numeric-id":1131506,"id":"Q1131506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5590786$FE764888-C8C6-44DD-9E75-AF38BCDF5D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b3e3040298fac66530f0858121db59bf878b9b4","datavalue":{"value":{"entity-type":"item","numeric-id":2394920,"id":"Q2394920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5590786$F972E801-39B5-4814-9270-E7AD4D32C046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"337975db25a4df7083858cecdb6a221fc0a386d2","datavalue":{"value":{"entity-type":"item","numeric-id":5555677,"id":"Q5555677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5590786$21093C99-79FD-46F5-A0F4-E388A760A22F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4180d0f1bf4c932543948d40feef253a98ec94a0","datavalue":{"value":"W2047749674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5590786$FEE1A2F4-F68D-405A-A8F4-27A8FB942A13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5590786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5590786"}}}}}