{"entities":{"Q740482":{"pageid":742331,"ns":120,"title":"Item:Q740482","lastrevid":63986349,"modified":"2026-04-11T16:53:09Z","type":"item","id":"Q740482","labels":{"en":{"language":"en","value":"De Bruijn's weak diamond property revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6339333"}},"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":"Q740482$1805460F-A75A-4586-95DC-4DBAB80FB357","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7129ffdfcb9062ea8fc345e58433b257a0e55d1","datavalue":{"value":{"text":"De Bruijn's weak diamond property revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q740482$47F75414-59EE-4450-859B-E66681EDF65B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e690364153f30b2e5aaab49558b3e0dfb723ecdc","datavalue":{"value":"1360.68533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740482$377479B8-5123-43BF-8D41-E8FDF0DE2357","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fca1c19bbfb0afe27e2894d7aa8bc5bfdf949d86","datavalue":{"value":{"entity-type":"item","numeric-id":549183,"id":"Q549183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$40597DE5-3633-474C-90A5-5E60CED80027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$BA6233B2-3FDC-4476-9DEE-10612DD588DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$29CED07D-3DA4-4A0A-9788-A66072F18BD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9124e22a925dc3c2ea1c24367b00eebdb1caa2fc","datavalue":{"value":{"time":"+2014-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q740482$88AF4A20-1DD4-49FB-A346-DCCE39C43FA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740482$4B13AD11-37CA-47A4-A2C4-67A09FC8B9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740482$F2B8F7EA-51E5-40EE-B43B-56D3B9BAEA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740482$033A66BA-345F-4E23-A209-36C268CAC2AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91ac1261800e35952b91d497952a2c026e8c65c3","datavalue":{"value":"6339333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740482$8677091B-38C9-4C61-B1F5-729F730AB098","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q740482$7A3F4987-CD26-46FB-BACF-BDD97350E4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fcdb118547d8fc92c1bc6c832bd9e206f201699","datavalue":{"value":"weak diamond property","type":"string"},"datatype":"string"},"type":"statement","id":"Q740482$A8A001E3-3690-4E76-9D5A-DB1DC6DB51A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b08ad5cc243aaeb3e65ad49f2325bf43711510f5","datavalue":{"value":"decreasing diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q740482$55A881C6-8630-4341-91C2-7F8D42108EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q740482$994BEF6B-E0BE-459B-9EFE-8B9F5EE0F331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q740482$15FE069B-DC6E-4958-95E4-F04A9B06E4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457cc719adb5c4f29ae7b859f5ebd80a114efa1b","datavalue":{"value":"Automath project","type":"string"},"datatype":"string"},"type":"statement","id":"Q740482$52979D53-9584-4336-B540-73FF41C5B0A3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bbb745e5682c56c3ac55ea94384cf87e1743f67","datavalue":{"value":{"entity-type":"item","numeric-id":21746,"id":"Q21746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$B3784BEA-3D34-4FD9-9F0A-55315728556B","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":"Q740482$2DD4E7A6-0307-4A40-9A25-AA562BA51290","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"782f129b54bcfd6b18210f8884a27c6daffd4450","datavalue":{"value":"https://doi.org/10.1016/j.indag.2013.08.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q740482$D1522BAC-FFA7-4614-9F76-195838140C9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8cb2468256e37e9c7aff1b9a64d3486ea7d799e","datavalue":{"value":"W2089961511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740482$046CCFAE-A8A5-4639-A168-4C9588D3115C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$88D911BD-96C1-4DD8-9CC5-6FC10EEF0199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$C90E13F4-A8EF-4683-8655-5C208037E0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5f6065d4b2ed03da17fc0ec89b6e65d3a8aea8","datavalue":{"value":{"entity-type":"item","numeric-id":1271472,"id":"Q1271472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$633BC78E-9DA7-4832-AA43-8250172953C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274736e3c02109cf273cdf7bf9017ac1fe6ca469","datavalue":{"value":{"entity-type":"item","numeric-id":2958383,"id":"Q2958383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$6F94B115-695F-4F7A-8493-EA5A912EE076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$67CC7BDA-9454-49BB-9291-DED9C24407C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c227478d93e0b870e0c78c09c2776f3a08c57d","datavalue":{"value":{"entity-type":"item","numeric-id":438562,"id":"Q438562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$6B6DAEB1-D4A5-477E-843A-DB3553534D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$1EA53FFA-B9A6-4CC7-A8A3-B48A5DEB3D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$3CAE2ACF-69BA-4994-A1FB-FA87D07E4076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$06EF2E28-DF17-474E-AF82-405ECA32B1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8809ae946f1f7ef26fb499e6ec2625209bdd5c89","datavalue":{"value":{"entity-type":"item","numeric-id":4500178,"id":"Q4500178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$E7BAD451-3C11-44AB-A0FF-47454A9023A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$63232040-8D11-40A5-BA23-085AB4348961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$6CCFC45E-EB75-4827-8A3C-18C160AB5FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$E663E8C8-135D-4B23-82AA-3C1AA1CFADD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de387b474a5e7630b2d32a58f2ca9248ae0f8e21","datavalue":{"value":{"entity-type":"item","numeric-id":1322164,"id":"Q1322164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$9968276F-A972-45D0-B1B9-7929CD36AE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cba28b68fd268a3fda8a1750f4b6808bf5f1090","datavalue":{"value":{"entity-type":"item","numeric-id":3522026,"id":"Q3522026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$372567CC-EF9E-42C6-BCB0-6474B446ECD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da843fc35ebe015907494c69b23b63fc0a14ce3","datavalue":{"value":{"entity-type":"item","numeric-id":5200045,"id":"Q5200045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$BC4CABDC-F174-46DC-87E6-B5FF3319BD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adca5241918a30dd0da6f5c1e5b5c08be40a5bbb","datavalue":{"value":{"entity-type":"item","numeric-id":5389095,"id":"Q5389095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740482$1A99F84F-A307-409B-8A94-F32686C1284D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2b8884658ab88b549ebc1d3fe3db230160d95","datavalue":{"value":"10.1016/J.INDAG.2013.08.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740482$80EA70D4-246B-478E-AC99-68CA43AE6512","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c45c9a503de0a97276368822d5af7dcc9cfa4a5a","datavalue":{"value":{"entity-type":"item","numeric-id":2958395,"id":"Q2958395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cbc71033494f53ee0c53c61b5b618ab96dc3bd","datavalue":{"value":{"amount":"+0.7900868058204651","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":"Q740482$523442DA-9409-4A56-9FA7-7B7449BECC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b304879fe95f55bfde22aaf937148f54a282f834","datavalue":{"value":{"entity-type":"item","numeric-id":4500178,"id":"Q4500178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e941d303cd8d9af4ab6c318394ce637717f7331","datavalue":{"value":{"amount":"+0.7787423729896545","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":"Q740482$4A30DD49-62F3-4137-A616-60209B4B1F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbbd959425b2398f4ee38862788bddefca63135","datavalue":{"value":{"entity-type":"item","numeric-id":1271472,"id":"Q1271472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f28f450be9c62c6eff6b0e4d53193a2e02c3a43","datavalue":{"value":{"amount":"+0.7732662558555603","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":"Q740482$286B149E-00B5-4434-BFAF-8E38C12F7F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7cec64e27b89cc5d79453e29e27f8c840902adb","datavalue":{"value":{"entity-type":"item","numeric-id":3522026,"id":"Q3522026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4894f9e44d8c75171bfcb29b130cde3e568fb5d","datavalue":{"value":{"amount":"+0.7592145800590515","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":"Q740482$7A7B5255-626E-42CF-BC7E-2573F43BB725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f49c24ed169371268207dbe802cff982f923b3c0","datavalue":{"value":{"entity-type":"item","numeric-id":3638097,"id":"Q3638097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d2dae4972a8ac255a7faec6acc532b1808ed07","datavalue":{"value":{"amount":"+0.7559695243835449","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":"Q740482$700E1EED-D048-44F2-8C72-D02E1B28632F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"De Bruijn's weak diamond property revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/De_Bruijn%27s_weak_diamond_property_revisited"}}}}}