{"entities":{"Q467805":{"pageid":469572,"ns":120,"title":"Item:Q467805","lastrevid":62051217,"modified":"2026-04-11T03:26:53Z","type":"item","id":"Q467805","labels":{"en":{"language":"en","value":"Definition of flat poset and existence theorems for recursive call"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6365912"}},"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":"Q467805$C68EA3BA-5419-4504-94A0-8CD3C7D48B9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f709c55c50169d4efb23fce17511916315da7c51","datavalue":{"value":{"text":"Definition of flat poset and existence theorems for recursive call","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q467805$FC5CF3D8-CF30-4B33-8F6E-6E6B58B8EFF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"167aac4299053d4c75192b1e4f72970be1811afb","datavalue":{"value":"1298.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467805$34BC8C2C-D9FD-49B0-AEF8-177EB1FB89EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"701a61801a51512e30814348ad4b80647d1bb1bd","datavalue":{"value":{"entity-type":"item","numeric-id":467804,"id":"Q467804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467805$2760CF1E-01AF-4D28-A6CD-45455E1C7B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"359f4544718e1527197ee570f3e51c7cc5c49553","datavalue":{"value":{"entity-type":"item","numeric-id":271894,"id":"Q271894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467805$744C2CB8-EC10-4A33-8B7C-ECE6EFC3AD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190c708f4bcaf9a439fd932d05a6c37c8907530a","datavalue":{"value":{"entity-type":"item","numeric-id":271909,"id":"Q271909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467805$6890E6BA-881A-460C-A895-4B12B893EB04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467805$F01A091B-1660-4C16-9B20-B6504A98824C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3c4992eb0748f2f2c28a1627f6af88f5f42280b","datavalue":{"value":{"time":"+2014-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q467805$B291F779-4FD0-4046-B525-E70E83098A50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467805$9E5E8723-86B4-40BF-A56D-169609B5560B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467805$7FF4F909-7CC0-451D-8BC5-AB8FDC5A843F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467805$D0925E65-95F3-403C-966E-8FD984C2A3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467805$9D7E42D9-4582-48AC-A328-F8EA8E8B026A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14a7fa6511d8c2a720b3637c5fc72fd9a5d04c9b","datavalue":{"value":"6365912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467805$B580904B-C6C4-4EAC-9B48-66386A2F0CC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77fad0286726a9c90b7c8934362fb9163f11420c","datavalue":{"value":"flat posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q467805$60BBB769-AA6B-4FA1-B3A6-3655F9845884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8668aad3ed731810972343313598539f4f2cb7d5","datavalue":{"value":"recursive calls for posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q467805$D5AD1A6C-0C97-4523-859E-064654F56E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbc22109c6ca68a8c31ea728f8d9c89fa174ae1","datavalue":{"value":"flattening operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q467805$1747961B-DA81-410D-BE3D-478845C9578E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467805$4EA02BE6-1DA6-474E-9E42-CE96611C41A3","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":"Q467805$C49E3019-A516-42A0-8E82-9FC1DFD5F05C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9881f28e78df4a6b06941cdbad7525b730d7ed6","datavalue":{"value":"https://doi.org/10.2478/forma-2014-0001","type":"string"},"datatype":"url"},"type":"statement","id":"Q467805$B21788B1-D71D-4EB6-86F8-34ECF9541018","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40ea24f88e1b3c073fd636b6c180d872b688b6a7","datavalue":{"value":"W2101628240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467805$A257A6B0-BDD8-413A-9FD0-02094AB03DB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"723b98e8766f93dc60cc0f6f734780baf36c30de","datavalue":{"value":{"entity-type":"item","numeric-id":2852181,"id":"Q2852181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467805$0F0BCCDC-FAD7-40B9-BCED-DE4C0893CB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467805$C703F3FE-3F60-4669-B16F-045C2DD8EA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364dba239c868c1d3ec34e13f65646435c2b2517","datavalue":{"value":{"entity-type":"item","numeric-id":5203581,"id":"Q5203581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467805$401CCD75-73C4-480C-A550-310CD8BD8D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467805$A7CAFF3B-5EA3-418D-A39F-4299786DAF35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c1927d30d840587c27891997b416f2265c4701a","datavalue":{"value":"10.2478/FORMA-2014-0001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467805$F4084264-16E8-490A-AF2A-98835F5F58B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534b3ffe87f6d79352adc804d475cb2ad29d2e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3600566,"id":"Q3600566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e13a5b1ae096271a0b90dda8c05043cad39736f","datavalue":{"value":{"amount":"+0.637852668762207","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":"Q467805$D9398EEB-54CA-4255-B48B-0D0C423BE034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da30fc5c22f3ff875dcc748ac7c99ff2726d3b4","datavalue":{"value":{"entity-type":"item","numeric-id":4447153,"id":"Q4447153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a17a7d838852f67f54da52b7f76054ec2da580","datavalue":{"value":{"amount":"+0.6274610757827759","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":"Q467805$0B1B4DCC-3315-41A3-865B-4632BB679144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fe603be126cf3667eea9dd66064ca9076cdc76","datavalue":{"value":{"entity-type":"item","numeric-id":1904402,"id":"Q1904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e1d9c12165efee781aeb5417c9c02594b0c697","datavalue":{"value":{"amount":"+0.6257379055023193","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":"Q467805$D8021DBD-2089-4E80-ACA9-412DF0528FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf3185f951e801ba2635567b078aac2039d9f321","datavalue":{"value":{"entity-type":"item","numeric-id":1961913,"id":"Q1961913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d5abe0b3b98fbb1aa4ff61124749d8ff2bff203","datavalue":{"value":{"amount":"+0.6256415247917175","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":"Q467805$3A21A02E-5A63-4BC9-8CC8-7FC99D14D36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0010af651dbb739b8f72c2c18444d6e0a37b2c","datavalue":{"value":{"entity-type":"item","numeric-id":4710656,"id":"Q4710656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4dcbd05e4e7303ea37b0544f1d440b699c38a0","datavalue":{"value":{"amount":"+0.6241086721420288","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":"Q467805$B2CD655B-106A-4D56-9C87-D4EE943BA354","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467805$534B0E62-2757-4181-A586-54CAA0D2E226","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definition of flat poset and existence theorems for recursive call","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definition_of_flat_poset_and_existence_theorems_for_recursive_call"}}}}}