{"entities":{"Q5210769":{"pageid":7240340,"ns":120,"title":"Item:Q5210769","lastrevid":53639192,"modified":"2026-01-25T11:42:27Z","type":"item","id":"Q5210769","labels":{"en":{"language":"en","value":"On notions of inductive validity for first-order equational clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154545"}},"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":"Q5210769$4CEE509D-0E49-4DB0-948C-0727FBD4EF5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e09817f4fb5746311c86e1b1f17b3180611a3e9","datavalue":{"value":{"text":"On notions of inductive validity for first-order equational clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210769$85F36A05-472C-4189-821A-7B9ACDFFEF44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"958a7a87f9f79dfe0d02e8ba1f59aa4ba89359dd","datavalue":{"value":"1437.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210769$20CC610A-B90C-4DC8-BC75-074FE7ACC61D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb1a7704ae6cdae99d8cd57f8de0832b946d7e5c","datavalue":{"value":"10.1007/3-540-58156-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210769$E2642E3E-6DB0-47EE-AEF2-F821CC8CAEBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a9059fbad1dac267c8b3db87819e98298f3d65f","datavalue":{"value":{"entity-type":"item","numeric-id":429595,"id":"Q429595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$1A738F3E-DB59-40AC-AFB3-B02A1E20DF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd62929982c5bab719524b29f6af40450c0159d","datavalue":{"value":{"entity-type":"item","numeric-id":671505,"id":"Q671505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$F96B2AA1-93D8-4DAE-BC1D-9867C0A471BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$4CCB4CEF-E040-443B-86D7-DD1D48837F22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210769$504CF39A-7F54-4E75-B838-F84170D0E729","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210769$17AE1957-4796-4647-973F-B8487451BAA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"167e1be5732ab657b582e634bb897e74cd558555","datavalue":{"value":"7154545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210769$EC9BE8EF-13AF-41AC-8830-EED3DF802100","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":"Q5210769$79747157-6403-4E7F-9E5D-2053FC5A14C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a155f328b51745f3065ec39aa22e2007f6e8dfcf","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210769$9F0005EE-7167-4C2C-96FA-F66DC1003805","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec24236651d817621e3c5f9ab64e3faddf868c87","datavalue":{"value":"W1571394616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210769$DD7CF694-CD21-4679-9236-875EE3E940ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"abff12ab95a65751d92452006a8f54fb97cd74ea","datavalue":{"value":{"entity-type":"item","numeric-id":5881187,"id":"Q5881187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$F847E066-768E-4DF6-801A-2187CF1BAFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032e011dae6771ddc94bd3b2d7b810721cac8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4849648,"id":"Q4849648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$1E86AE41-5415-4872-BC7B-0AE4DBA14C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0d59414c9b5c266b18b5ddd6d4e96c6d9862f5","datavalue":{"value":{"entity-type":"item","numeric-id":5881278,"id":"Q5881278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$13DA6746-E5E3-4906-AA6C-9C11FF1B8DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$E9B469D8-D65E-49FF-9652-DB3E278732C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$57542BB4-B85F-4D2C-B1C4-E82046619C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f8f7ccc1c97a833573f62334972a5021fa3d72","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$8731D460-D395-465E-AD4F-61FFF399FA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5835e2c6da0ce1ead1efe351018c8c82f67161d3","datavalue":{"value":{"entity-type":"item","numeric-id":5881188,"id":"Q5881188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$847C2C12-86EE-4A55-90B3-1A6726F3CCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd8f5a7508e8ed1812cdb5f71b5cdb7d05495","datavalue":{"value":{"entity-type":"item","numeric-id":3817657,"id":"Q3817657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$54FD94F8-5947-4B55-A3EA-7B957DA1AC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989303c3f01780ec3752ac791fe5233d16a37b4","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$9FA8350C-4F9E-4A5D-A800-84D55A88269A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b624435100aa332b4ed9a77a30a3c9fc845318a6","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$55873333-0A35-4DA6-8BC9-C46E7C135502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7409adbeea4f06044f7b07a21aeeb141df7f0f2","datavalue":{"value":{"entity-type":"item","numeric-id":4712663,"id":"Q4712663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$A247E54B-6832-425A-B3D5-BCB0D73BF54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2e515b8f14213cd38f21fb2b2915093cbf9321","datavalue":{"value":{"entity-type":"item","numeric-id":582269,"id":"Q582269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$EF78A904-3FF9-465E-B3E3-C71734D32CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76059eb25ccaa777f5a88bc69700bfe2d6f4c465","datavalue":{"value":{"entity-type":"item","numeric-id":5881186,"id":"Q5881186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210769$0CE25007-D523-49FB-AD3E-D92D262A0720","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f3df1c0571e678c10e7f09f353de0c8a8b0196e","datavalue":{"value":{"entity-type":"item","numeric-id":5044723,"id":"Q5044723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6167e980f36b2d114a8837ee25f901f7ddd69b52","datavalue":{"value":{"amount":"+0.8016279935836792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210769$03E08C88-6199-4337-AEB5-C2EC472CB100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d81ac03cf3334b153256af3683867e2df633be5","datavalue":{"value":{"amount":"+0.7632744908332825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210769$E5C2533B-A728-49DF-ADF2-29EC41EECE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff887064dbaf50463f11dd0960d847e76e240eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4249033,"id":"Q4249033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9deb7b01001f0d6a4d32e2b02f20cdd7ac6c34e5","datavalue":{"value":{"amount":"+0.7526994347572327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210769$6B096E66-94FB-49E0-8658-DB4432134B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1719abdf64fbafcee49ac77342ac5d943f9d200e","datavalue":{"value":{"entity-type":"item","numeric-id":1854350,"id":"Q1854350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1b1544e224502f3b31a000eeea127f5076867c","datavalue":{"value":{"amount":"+0.752261757850647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210769$AF6D415F-99EB-4B7C-A9EE-D19435C891CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5bd0fa66fd9009baaa2529908f98e3f28360a72","datavalue":{"value":{"entity-type":"item","numeric-id":5055713,"id":"Q5055713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6bf5058a15e04332cf778be5924976e5d06944","datavalue":{"value":{"amount":"+0.7489275336265564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210769$1A4F4724-16E4-4E82-9047-697E649384A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210769"}}}}}