{"entities":{"Q1966145":{"pageid":1976887,"ns":120,"title":"Item:Q1966145","lastrevid":78057065,"modified":"2026-05-06T10:41:02Z","type":"item","id":"Q1966145","labels":{"en":{"language":"en","value":"Independence of the axiomatization of fork"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1407098"}},"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":"Q1966145$26BBB7B3-E10C-41DC-95B3-A9FE7AD57ACB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc549119d83cc58bc5568105a0f4c90ff9c55837","datavalue":{"value":{"text":"Independence of the axiomatization of fork","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1966145$93B71535-8CB6-4192-99D8-D4EBFA13C424","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fed20bee66fefa805cdef7528ae16a5f0994366","datavalue":{"value":"0933.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966145$C3E8B8A4-544B-4CC7-9A89-BFC18B904F7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966145$378850D2-0B19-4EA2-AB4D-EAAAE4851695","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966145$30235B48-FC83-45D0-8537-8D420942F48E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b67edb7c6ba470465e19f8a68d18347f5f95336","datavalue":{"value":{"time":"+2000-02-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":"Q1966145$DF5BD37F-E80F-46A4-BC73-8EA250C4B906","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a683276e155906f5c4fe58cc78d115338b014e7","datavalue":{"value":"A fork algebra is a relation algebra with one more binary operation (the so-called fork) defined by three axioms. The author shows that these axioms are independent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966145$B09D3F9F-8218-4FC3-8554-2199C9381C4F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966145$18F54200-4E0E-4308-9B5C-EA591CE3E015","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966145$3EAD415E-51CE-4BF2-BC38-01082CAF907A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966145$E7D2B4BE-791E-432D-BA5E-164786CDB4C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23f795cce9c9d776e7050247b9f538a8092c47d7","datavalue":{"value":"1407098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966145$1A61AF3A-2151-4066-AFBE-0F5AD7B4B4BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966145$0CB498E7-D7DD-4C1D-B8D4-3A75B5A5BCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8cee891dbee676085a881b3ef01b23026ac34f","datavalue":{"value":"independence of axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966145$9619AF31-6C29-4E9E-9FDD-191C49BD6C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"159fe06ba7197d498a9f480d3ea6c1e881b75c93","datavalue":{"value":"fork algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966145$D2B9EE93-726D-4F7D-B0D2-4E211CA1B752","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":"Q1966145$392773EF-83D3-4602-A11C-D474E1561BFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c894dca4154f6e71c9656b34ac713bb1c26307fc","datavalue":{"value":"https://doi.org/10.1007/s000120050076","type":"string"},"datatype":"url"},"type":"statement","id":"Q1966145$95F9365F-9964-4899-979E-5951EC44DA19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f90affe2299dbd3466d9f4a8ad454550cb1ed657","datavalue":{"value":"W2027121032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966145$49D4A11D-7BFF-4103-BB17-F615261F618F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5d78a376ede0af744f6016179ce232e4b0bbe5b","datavalue":{"value":"10.1007/S000120050076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966145$C10142E1-5297-4803-BEBF-FD893E4982DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independence of the axiomatization of fork","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Independence_of_the_axiomatization_of_fork"}}}}}