{"entities":{"Q3942388":{"pageid":5972293,"ns":120,"title":"Item:Q3942388","lastrevid":81279512,"modified":"2026-05-06T18:09:23Z","type":"item","id":"Q3942388","labels":{"en":{"language":"en","value":"Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3759539"}},"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":"Q3942388$A52DDE3F-8DDA-4054-A787-088B89D27F37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33d3c725e707ae2805a388d7fd8475fa792cbfc1","datavalue":{"value":{"text":"Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3942388$2BD5398D-3B6A-435E-BBEC-DEDDFFE49278","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"371427f00d97df2b3f036d9a10806d266201a885","datavalue":{"value":"0483.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942388$9BA95DA4-E4DA-408C-9BAC-E10401AFFD93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07d6045bb1782a4db2350cdc2e98e02e1b4a8c2c","datavalue":{"value":"10.1145/357172.357175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942388$D527F453-EC1F-46A9-8BC8-07E18A8A2047","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942388$F1D69D56-F0BF-4D7A-AB14-03E21F5F1540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb7f070e6b07a0173f14bde227f02429cbec1ff3","datavalue":{"value":{"entity-type":"item","numeric-id":578897,"id":"Q578897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942388$13368659-6D53-4528-AD90-AEA648259617","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942388$99454838-C5D9-4537-9D3F-BD6023221AD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3942388$228BE746-853D-40DB-8403-8BAF8F8473B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942388$25EC41F8-2850-4ED8-B7B0-72CD46194010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942388$37D11B5E-B338-43BE-B6CC-83CDFEA85431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942388$88325FF1-2406-4FF9-AA09-F35DEFC3A6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942388$B64FE868-E68D-47C9-8DC3-F86406C89578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942388$EF0E92A6-D354-40F8-9A30-588C5D6DF5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942388$7E5A0B90-F4B5-4D14-8F37-693044DC2D94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbf28c970a42967b303a5150ff06562992fb9ee2","datavalue":{"value":"3759539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942388$DD81E721-0003-4933-85E2-A3C7F9DE9817","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942388$12FB3EC8-BB53-4F91-B6C0-EB1A0E81CB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05663d589d170e14911d7843065b083434f4f829","datavalue":{"value":"automatic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942388$1DCFFBB7-F405-401E-B9C5-F3D5700548A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942388$B07A4272-B14D-4702-966A-07DC4CD7F069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942388$2242FAE5-DCD0-44A5-AE19-6F6BF7509EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ed16a2f75f5b612381fe8ac655f012daab83e7","datavalue":{"value":"Schorr-Waite graph-marking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942388$8E237834-0FE6-43F5-AF70-7588BE47E53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942388$AF1C0116-D3B4-474D-B760-D7AF70D63DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5950369e3296ba8752027da07ec6b3ab18326cee","datavalue":{"value":"recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942388$DA4D6E8B-8089-4AC8-8F8F-DE7A717C8D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2fd3b4599eebbde41cd68421ce3a5507df1fe64","datavalue":{"value":"depth-first-search algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942388$2C0BBAED-1497-4A81-8A64-797E243785AB","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":"Q3942388$1FC54931-B7A3-4EB6-8C67-09B3AB9F9D9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b2d1fe235f69ee55895461840d134d08ff301a6","datavalue":{"value":"https://doi.org/10.1145/357172.357175","type":"string"},"datatype":"url"},"type":"statement","id":"Q3942388$E9CBECF5-F56F-4A76-83C1-A7612628DB7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c649a41afdde40b0771019a7e66723873102f79","datavalue":{"value":"W2062275091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942388$ACF1F68E-4C4C-4009-B4C5-BE2D501FA8E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm","badges":[]}}}}}