{"entities":{"Q4182709":{"pageid":6212310,"ns":120,"title":"Item:Q4182709","lastrevid":34620923,"modified":"2024-06-12T23:17:58Z","type":"item","id":"Q4182709","labels":{"en":{"language":"en","value":"Kleine unentscheidbare Klassen der Pr\u00e4dikatenlogik mit Identit\u00e4t und Funktionszeichen"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3618098"}},"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":"Q4182709$1A5E7B67-5ADF-4031-9077-67CCB3CA3E13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc1e96d4b8f3241167bc1eee4c4cb68fc1ffc040","datavalue":{"value":{"text":"Kleine unentscheidbare Klassen der Pr\u00e4dikatenlogik mit Identit\u00e4t und Funktionszeichen","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4182709$CB10E2B9-2A98-4471-9893-AF619A2CB5D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d11c0347f8ec14893cca59a6e81787a1961fa31","datavalue":{"value":"0398.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182709$257368D7-14D0-478C-BE64-386924EEE5C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"186bbf6386b208d37c039b5c754aff218888425e","datavalue":{"value":"10.1007/BF02011871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182709$A88456D4-0776-4225-A491-7886C29CE734","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":"Q4182709$38623149-92AE-4235-A0D7-85F4086B9238","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4182709$33F72E09-E79E-4101-8708-4E967DE04F67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a13a0249008b93c75c05833fdf31c1334ad1bd3","datavalue":{"value":"https://eudml.org/doc/137948","type":"string"},"datatype":"url"},"type":"statement","id":"Q4182709$D9F0CD04-E0F8-4826-820F-C95A4E1AE8B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182709$2E7D9891-C6EA-41E0-950F-CF827B6C0BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182709$DC50A037-BF89-4EEA-9B8A-850D15DBF93D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ca7f7e04729943bedad639d08f08f6ccaba8113","datavalue":{"value":"3618098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182709$4DF44ADA-D625-4F62-A24A-F14AFF392E5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde291e218e390ed65af77a449380cc828e2ba16","datavalue":{"value":"Predicate Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182709$B2CC2A51-B9B5-4207-B343-292D0E319343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44c1e6d137501eb0f2355e341d53ffc4108a9d4","datavalue":{"value":"Undecidable Class","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182709$279C3EBD-3120-4E94-A7F7-2207B4463A60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182709$C588EA29-9164-49E5-AFD4-2F0C9A6CC459","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":"Q4182709$84F05F2C-A66D-42AB-9E48-07E5F11E1629","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da944bdf8971ce26ab537135b8ce8739b8b083a","datavalue":{"value":{"entity-type":"item","numeric-id":5586256,"id":"Q5586256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182709$034E4235-5CF5-4773-AC8A-80A0D3561A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5750809b03422ffef74c625f971d983d6542d98f","datavalue":{"value":{"entity-type":"item","numeric-id":4120563,"id":"Q4120563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182709$5663DF99-4919-4361-9245-92CE708535B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20746c88afdcc8d6784abc9630fa0d2be812284e","datavalue":{"value":{"entity-type":"item","numeric-id":4483062,"id":"Q4483062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182709$3571B605-8845-4774-B8C5-0CCE5871C41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661fb6b8345009cd9709f05622e7f9cade67f134","datavalue":{"value":{"entity-type":"item","numeric-id":5613939,"id":"Q5613939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182709$C2D9D839-E02F-4C99-AA1E-60378D27D06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182709$4101657F-91A6-4FD3-B121-880373E8B674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36027544cc7c5849ee89046695b3cce72e957085","datavalue":{"value":{"entity-type":"item","numeric-id":4154857,"id":"Q4154857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182709$11268B1E-34CA-47DC-B424-3DBF1D3DA729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89a7ed3dc0cfbc44e379e94c62b0937a964e30c","datavalue":{"value":{"entity-type":"item","numeric-id":1241510,"id":"Q1241510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182709$7730D384-66F1-4B48-BD83-F16959D44298","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4182709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4182709"}}}}}