{"entities":{"Q5552146":{"pageid":7581706,"ns":120,"title":"Item:Q5552146","lastrevid":41153322,"modified":"2025-04-18T13:07:56Z","type":"item","id":"Q5552146","labels":{"en":{"language":"en","value":"A simplified formalization of predicate logic with identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3265728"}},"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":"Q5552146$CC859AEA-2C47-4E2C-A83B-1F620EA34B52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc1c0d9175297a5ac6c5a91989238798f5514b37","datavalue":{"value":{"text":"A simplified formalization of predicate logic with identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5552146$44446359-305D-4748-A767-D3307F218D7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a155e6d80438cfa09a9a13fc2fe20a3c091a514","datavalue":{"value":"0166.00104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5552146$D67082C3-4621-4BC3-A3C3-A7D40CA1B85D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e8473bd735e6853b1a9ebb4990941712545f552","datavalue":{"value":"10.1007/BF01972461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5552146$9F9CCADF-69EB-42A0-86FF-FDD3B00DDA94","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":"Q5552146$2E1B93C0-5D4D-4442-B911-5CF819C22DE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc846cc700dc846702740028966828f297420cb4","datavalue":{"value":{"time":"+1965-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":"Q5552146$368A6A06-30AE-4C54-992B-1E64E0C3E6D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"950d1a5ceea037121b07d3a39e52e8f623b7eb23","datavalue":{"value":"https://eudml.org/doc/137772","type":"string"},"datatype":"url"},"type":"statement","id":"Q5552146$AC9F8CDB-D616-43C9-9DFD-CA2F161EDC14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5552146$4C503070-B0AB-4190-81FB-52D9EFD25E18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1281cbcdca0969560111ad94751e92d366f5d1de","datavalue":{"value":"3265728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5552146$CCA9940A-E977-4F36-9214-0D5FF1851FD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db9eec9f8678adc5795d2749c1b35b75bb9eac3","datavalue":{"value":"general logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5552146$BD7E2753-4CCD-48E8-B7E0-456A6E628CA1","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":"Q5552146$28DB84F4-B5B0-4C37-A3C4-C8340BE9C23D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"33bf16c2b8a07a920210879c7de9d5e404145190","datavalue":{"value":"Q106090756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5552146$983AE7E5-B9FD-4839-A278-57D4EA3234C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5552146$6CABCE33-ABBB-4EA4-9E96-54676E8CDD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5552146$E1C669B1-4957-4554-ADC1-1B7F8F776BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"235c290202d09253609d3352adbe072fd28dd6d1","datavalue":{"value":{"entity-type":"item","numeric-id":5732648,"id":"Q5732648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5552146$80C2892D-8941-4268-B983-069E826820DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50243b00ad809cacd0da1ecda3f7f43304d8a1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5781191,"id":"Q5781191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5552146$645212B6-CE5E-4767-8B85-B4B377C4CCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e21c97e6bd21d05fb3edf8114d344c3941df102","datavalue":{"value":{"entity-type":"item","numeric-id":3249761,"id":"Q3249761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5552146$AFF04CF2-7B2B-4820-B149-A4C76CC7920B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0fead52443b249df8460e061d76b285d47def0","datavalue":{"value":{"entity-type":"item","numeric-id":5552147,"id":"Q5552147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5552146$8DFAD2AC-5992-45DB-9F7A-2CE9CCE225DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89dba9eda945101f3493a6fcc35c5d80761c1f3e","datavalue":{"value":{"entity-type":"item","numeric-id":5541306,"id":"Q5541306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5552146$C6016D1C-86AA-4880-9809-795288EC8646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbd9cad58bd34a88027d05a6e2ff457eb71ea11","datavalue":{"value":{"entity-type":"item","numeric-id":3243259,"id":"Q3243259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5552146$A42829A0-8DCF-4DB6-8A40-EEC11660116F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5836575d72256dba5378670705dc322d09ca966","datavalue":{"value":{"entity-type":"item","numeric-id":5788671,"id":"Q5788671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5552146$A00170DA-7B9A-468A-8253-ABE30BAB806E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23732ac283c991e9d1d60ac7c4046d29649b2de","datavalue":{"value":{"entity-type":"item","numeric-id":3240239,"id":"Q3240239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5552146$1B8BC56B-AB78-4FB0-9A74-CA17E2CCFC57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85829b121f1bd00e00d15a9f50bd81f731384991","datavalue":{"value":{"entity-type":"item","numeric-id":6482289,"id":"Q6482289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5552146$7EE40210-21C2-49F8-B09F-3D29ABC18474","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5552146","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5552146"}}}}}