{"entities":{"Q4011720":{"pageid":6041518,"ns":120,"title":"Item:Q4011720","lastrevid":55172005,"modified":"2026-02-04T09:50:54Z","type":"item","id":"Q4011720","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 67032"}},"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":"Q4011720$BFE33A41-8FF8-4306-92A4-9BE4C10B45B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a0e4c0c9ef38c41cc9477eacb09f3e675c9109a","datavalue":{"value":"0760.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$2AC64919-0288-45E1-AB45-C867037B6C4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1b2e99d22ebaadf2ff0a682f49925762ade7513","datavalue":{"value":{"entity-type":"item","numeric-id":797615,"id":"Q797615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4011720$B3EE8ACE-8BF9-498E-991F-343B28332CC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4011720$4C792330-A4EC-4106-A968-FED249CACED5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1beff6df43d002c060ee5c11427940bc71c4816c","datavalue":{"value":"03Gxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$B409F6ED-9FEE-4104-827D-A4C05B3E71D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$7AADAEE7-1FCE-4A55-9B77-806B08CE346B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$9D664819-6920-4999-A4AB-50AFDA3CCFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$8DB720B0-0E81-472B-90C1-03FF77C526AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$F2597283-29EF-463D-914C-6B82F5F1031E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$9FBD53B5-7E7C-4607-A405-52ECBE35D65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$4685268F-9681-4509-9280-68ACADC8BB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$5BC6166B-0683-475B-BA46-3DFEA1264409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$80BC3FD8-592D-4AF3-89EC-099FA8B12CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$156EA9E2-A8B7-4B0E-A719-FCDC06CF979D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$F2AEAD60-1291-4584-AADD-C0061BACB8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$C1A045AD-A099-47B8-AD76-F79AE21B7A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$ADDDF74A-C7E3-43B1-AC7E-EF27C8586382","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f30d6e50803841410f11bae5bf587dc2b4dbb48c","datavalue":{"value":"67032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011720$97BAF5BD-CEB8-4470-ADCF-C5B3CE8DAB1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011720$4EAA1B53-114A-4346-B97A-D4785CFFB8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011720$05F8B362-36E9-4B21-9515-8A6BD297B4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6e3931fde90fd5989250b8162929d572bd27156","datavalue":{"value":"clones of operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011720$2BD948BB-E938-4599-A3EA-400726BC34DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675eed55543b423fc7b51c01fc2b52bfa3550283","datavalue":{"value":"binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011720$F84F7C0F-D4D2-4402-B12D-2CB371165697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d88644fd15a569d108dc33e7f4ccd61bb29b2a6","datavalue":{"value":"Boolean algebras with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011720$B0A2E896-8289-4AFB-B84C-49E42072B9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011720$34CDDEF3-2CD9-459D-8F8C-EF073FD53CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011720$122FF358-E7EF-4D79-88E4-6738EAB8F856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600672ab55ae471847e00a7bc41bc9851fc3ede8","datavalue":{"value":"modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011720$3A37F2A2-BB2C-49C0-A2DD-2633E0878281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011720$AD4D5EB3-688A-4092-BC4B-3920ACDFBC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"153e48fe06438feb1582283ab344925b9eba10d0","datavalue":{"value":"non-deterministic computer programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011720$933B3C99-2E62-4AB7-BDBE-3FA29026B45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6af65d7535a8fbb7d6c22c75741089109e73556","datavalue":{"value":"dynamic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011720$67EE58E1-767F-4C42-A835-EA0E29E9BF5A","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":"Q4011720$A91AD005-DB64-4F2D-8314-AE2A7A5C1162","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffe61e6d4df8b3152cfd0616d0901729a8c8532","datavalue":{"value":{"entity-type":"item","numeric-id":868510,"id":"Q868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"891f4e0225e97ffe393627a9a68ff18bf500440a","datavalue":{"value":{"amount":"+0.8029061555862427","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":"Q4011720$FAF11C56-B200-49C6-8DBB-D0A667227DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c50924ade314360f463709dfcca65b9ed538733","datavalue":{"value":{"entity-type":"item","numeric-id":3684178,"id":"Q3684178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33822043f88aef0886f453bf5f9e1746ed7f5f16","datavalue":{"value":{"amount":"+0.7953972220420837","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":"Q4011720$2B8546D5-9CCE-4AA9-88EF-A916158ECE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f62fa47ef46f55e51a7d3b20369f6be9026ab46","datavalue":{"value":{"entity-type":"item","numeric-id":4362875,"id":"Q4362875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98acf4a3f2304f946160858dceede6c282dbba8","datavalue":{"value":{"amount":"+0.7898189425468445","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":"Q4011720$FFCD0DBF-DFAE-4E9A-B9A4-027D7DF17655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09f8dac20d312f0e85349f3e55dd6f2f60fa096","datavalue":{"value":{"entity-type":"item","numeric-id":4011726,"id":"Q4011726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b647d35f23002417d55e53f5585d86950df611","datavalue":{"value":{"amount":"+0.7889719009399414","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":"Q4011720$3126A8B5-9041-482F-8780-AD71C4DA8A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b8bf7765598e48be136b8150734cf851f967c0","datavalue":{"value":{"entity-type":"item","numeric-id":4011721,"id":"Q4011721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9684fe03b9668102bf31ee1eb690ff735d0b1a","datavalue":{"value":{"amount":"+0.7882305979728699","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":"Q4011720$5AC97475-9304-4035-B0C7-36FA9327D128","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4011720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4011720"}}}}}