{"entities":{"Q5541306":{"pageid":7570866,"ns":120,"title":"Item:Q5541306","lastrevid":34516722,"modified":"2024-06-11T20:57:38Z","type":"item","id":"Q5541306","labels":{"en":{"language":"en","value":"Substitutionless predicate logic with identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3254869"}},"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":"Q5541306$11D2AB3D-D45B-407F-9688-762392ED2C23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc4b4e90448cf6f2b3162d641d6a4ff2895b1986","datavalue":{"value":{"text":"Substitutionless predicate logic with identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5541306$59470C5C-6F24-4AFB-9075-1DBE424888B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fdcdcf5d5cc32cfa1c30a2ee1f4adac2d8e8711","datavalue":{"value":"0158.24603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5541306$413C2D5A-89BE-4965-A847-7EA7CA4FA22B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec2edadcc46356ded64ba939da98b26091d1ac61","datavalue":{"value":"10.1007/BF01969435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5541306$E546058E-ABD5-4AC3-9C3E-1A60E1034739","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f2d17465e67c6040a46607a882c4abd0971bc9f","datavalue":{"value":{"entity-type":"item","numeric-id":204227,"id":"Q204227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5541306$B36BAEC5-D444-45A8-8B25-22D40F3DE1B0","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":"Q5541306$4EBF1211-1784-4F5B-B62B-EB618AC96D74","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":"Q5541306$AB3707F9-2CA7-46BE-B795-A0E33C36FFAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a9c3d31fc15074eea4300220c642a96c10a7bf6","datavalue":{"value":"https://eudml.org/doc/137774","type":"string"},"datatype":"url"},"type":"statement","id":"Q5541306$4D9EFE88-4530-45B9-8AC2-654DB1575FD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"102c4104ae67f45b6d9f676dc414b3d16c98d0ab","datavalue":{"value":"3254869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5541306$74CF86B5-0700-4865-BA19-3AF4EF4CF299","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5541306$730D7232-099F-4E26-B0F0-DD45FD0C00BD","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":"Q5541306$83456C7E-ED3F-4EAE-B79D-8F26A158C942","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d3788c7eee7971d4fca2d7219813b8cc519de0","datavalue":{"value":{"entity-type":"item","numeric-id":3259699,"id":"Q3259699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5541306$FD78A6B1-3D80-422C-998A-C0542602FEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d55ceb688c679ae04421f58521735474f069e98","datavalue":{"value":{"entity-type":"item","numeric-id":3259695,"id":"Q3259695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5541306$9C780346-E79A-4448-B7ED-3F914A6C4506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45279a81234b37ea8bba5ac5b0ac963d5ad80439","datavalue":{"value":{"entity-type":"item","numeric-id":5819443,"id":"Q5819443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5541306$C8A14D0C-A4D8-459E-BC08-1B432E12DAB9","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":"Q5541306$237C2887-5AD8-4167-ACA8-3FE35B438B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0622dafca009a150a32162304cfa985afb7fcae","datavalue":{"value":{"entity-type":"item","numeric-id":5791203,"id":"Q5791203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5541306$BA6FEA98-1D1E-4564-B4A0-E0BA153A8A67","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":"Q5541306$5581DA98-E952-4BAA-94B4-7B3A23FAAE3B","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":"Q5541306$B9654ABB-D1D8-47D4-B382-5099B0865AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d12bc73d12578e158c35548a9be50fc15f22baf","datavalue":{"value":{"entity-type":"item","numeric-id":5552146,"id":"Q5552146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5541306$5D5A4408-DD65-49FD-9759-135588D8FB7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5541306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5541306"}}}}}