{"entities":{"Q3801055":{"pageid":5830961,"ns":120,"title":"Item:Q3801055","lastrevid":53270162,"modified":"2026-01-24T14:40:47Z","type":"item","id":"Q3801055","labels":{"en":{"language":"en","value":"Equational Bases for If\u2013Then\u2013Else"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068259"}},"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":"Q3801055$FC9CF17D-D8AD-4B9F-8D77-EE5FA8A0ADE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77908d88ff5f3f189499127185065f75d9931bd9","datavalue":{"value":{"text":"Equational Bases for If\u2013Then\u2013Else","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3801055$9E2A6F67-3C9A-4419-A69E-7DA8BF0CC4F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1511ee5efba117ca05fd56cd9df2fcd1a94e1dfe","datavalue":{"value":"0654.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801055$8317C1B9-C534-4A48-B72B-48F964955104","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa68ee4580ee4dea482634af1d4f2fd8642530aa","datavalue":{"value":"10.1137/0216033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801055$CC0639DA-3759-4304-9F46-99BD053244F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca7f12f19652bd51d566dcf8d18844f5d751616","datavalue":{"value":{"entity-type":"item","numeric-id":762514,"id":"Q762514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801055$70E6F2E0-61D4-4E62-B525-BB7496640C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab434b340e8fb2070bdba3713f2f4c6339ea5ac4","datavalue":{"value":{"entity-type":"item","numeric-id":908906,"id":"Q908906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801055$3E3FF032-8141-4F38-95CC-0B6D632D278E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801055$83115FC1-2BD8-460D-80C4-F54073E567F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3801055$01EE38A9-F19F-4763-82B8-508A31DDF00A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801055$509B2EC4-0286-42E1-9C08-8C401DD3EFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801055$A7C1108F-6C60-462F-9AC7-02B44753ED09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801055$04EA50FF-8747-456D-9A25-E7AD0CBD369F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99423910a30cacfd8643b08ffb6e92860f5f7aca","datavalue":{"value":"4068259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801055$6FEF8B42-CFC1-407F-AB80-835502705BF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801055$10111C3D-14A7-46EE-99FB-363805E9B23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bced25d43fa7f4058922ab24687d4ac93f53049","datavalue":{"value":"equational basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801055$5888979D-B3C9-476D-BBB8-067E423422D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801055$10A95E42-B6B5-4B84-9AF4-25497EA3FDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801055$49B109E9-B78C-4E8E-9021-939D9011AC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7b2901b8640a9d9117a0eb704d9740f23b9f16e","datavalue":{"value":"discriminator algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801055$2A231459-ED44-4499-8EF1-E2FD132FB8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f810c5b997587ffa8336e428e8e172b33fc253a","datavalue":{"value":"test algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801055$B5D57FFD-70E8-4298-A9AF-69FA3D164A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0effbd1ad15e3c0ad2206672e057492399352998","datavalue":{"value":"if-then-else","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801055$E121F690-5668-4059-8826-22807EFE69F9","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":"Q3801055$6F1641C4-04B0-43F9-A780-061A6CED110A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23c5a72c3cb205563d33db60aeffae45f6e83388","datavalue":{"value":"https://doi.org/10.1137/0216033","type":"string"},"datatype":"url"},"type":"statement","id":"Q3801055$344FF85C-65DD-4DF3-BF62-5ABD178768B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c84d6c4d1fbdc6108835591cdcf140a7f642524","datavalue":{"value":"W2089622083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801055$8C8E87AB-2734-4999-9270-08D15B6BE00C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1feba14b74fe5f89599b22f1de042491c60b63d0","datavalue":{"value":{"entity-type":"item","numeric-id":690107,"id":"Q690107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d753bbda6288b55daff6176e01d40302a6222b2","datavalue":{"value":{"amount":"+0.8351374864578247","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":"Q3801055$45647E88-85F9-4B41-BF3B-BD0AC56FB56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b0038ca3ee98317548980447d6302caee10aa0","datavalue":{"value":{"entity-type":"item","numeric-id":3978179,"id":"Q3978179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9869a6426d8239b48feeed4844dd1caafa557ac","datavalue":{"value":{"amount":"+0.8249326944351196","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":"Q3801055$26C8DC62-8AC1-4175-AD92-431C8F093F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eee38321cd31510f345a6ed6690e7410e2f107d","datavalue":{"value":{"entity-type":"item","numeric-id":3817577,"id":"Q3817577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee63b7a7a1aea69f688d03622a39616002d2fc1c","datavalue":{"value":{"amount":"+0.8102748394012451","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":"Q3801055$64A47E91-129D-4F2F-ABD1-0F8C73C3B618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18974e7ea4dde27588326558cfbf6d442884ad3e","datavalue":{"value":{"entity-type":"item","numeric-id":4851021,"id":"Q4851021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cefa0d04cb2b5e068268bf10a2c1dbf3d7ee48","datavalue":{"value":{"amount":"+0.8055429458618164","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":"Q3801055$BE19A049-79FC-492E-B483-07624C180484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4da894c457a9507a121f2a987c9b9cc2108f27a","datavalue":{"value":{"entity-type":"item","numeric-id":3765240,"id":"Q3765240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2290a082ce155714909d12352e2d32929f4b0d8e","datavalue":{"value":{"amount":"+0.7988065481185913","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":"Q3801055$53852EC5-C221-4179-8BC0-12FBE6D296E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3801055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3801055"}}}}}