{"entities":{"Q4683860":{"pageid":6713441,"ns":120,"title":"Item:Q4683860","lastrevid":89959820,"modified":"2026-06-04T18:43:34Z","type":"item","id":"Q4683860","labels":{"en":{"language":"en","value":"Defining recursive predicates in graph orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6943959"}},"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":"Q4683860$6ED8B882-8BD6-491B-9605-D6F6E55D52DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7c80da50de40202fc1f35402e7a1a2dc6eb5691","datavalue":{"value":"10.23638/LMCS-14(3:21)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683860$10AD9C45-79E0-4049-94FE-C6AC1AF5E212","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82689a5132e5af2eba382a0feec183a206a83c16","datavalue":{"value":{"entity-type":"item","numeric-id":2044218,"id":"Q2044218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$68DA1945-56CA-4947-8472-66AF46C39FEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17910f431f36c918edeee4dc0184510e28acac74","datavalue":{"value":{"time":"+2018-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4683860$7B72E9F5-C783-4F09-953A-E14B1A312059","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0428da1e7d889cb2dab18f0767a5255d0f66671","datavalue":{"value":"https://arxiv.org/abs/1709.03060","type":"string"},"datatype":"url"},"type":"statement","id":"Q4683860$B2104EE8-CB10-46F1-8EB8-6A9B4FF82757","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683860$65C67B7F-C133-4C16-9DE9-751D79FD4BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683860$5AEED283-5ED0-4178-A928-4360F77CB057","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d1b547675e7da4280c53b613bb9ffaaaf123b95","datavalue":{"value":"6943959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683860$F1E2CB15-B3E9-48B7-BEB2-A40EA3F01956","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683860$FCAA557E-E286-497E-B5C8-5F79BC372964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bd7bdd73907426e3bd37148bd5044796ef0fbe","datavalue":{"value":"logical theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683860$535EFD5D-CABF-429B-9A63-524991C35801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a76ed83ca7e60ae1ec9e9840b0b90ae04065a6a5","datavalue":{"value":"graph order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683860$E5A4DE44-D6FC-4E96-ABBD-E890E6DC27C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e87bb1aed89f5da6ee5d1aa38eb687932a17c03","datavalue":{"value":"subgraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683860$B5688699-8ABB-4DBD-A5CD-40B72CCBBAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f837cc667ca6c437adffe24e6729f1c5f3da29f4","datavalue":{"value":"graph minor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683860$EB24E9CE-8901-4DA5-9753-23753468FCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb4dbee0d48d17c0702756f23f68f3af28651233","datavalue":{"value":"induced subgraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683860$39FE1F36-13FF-44D8-B1AE-7B637A7EFDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e356b3dda43670b530615f489ff2acd80759c4a1","datavalue":{"value":"recursive","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683860$77B9D947-4948-4715-9DE7-6BAF0CD077A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47da4283ac962b7098d75c44436fa25b38a42c1b","datavalue":{"value":"computable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683860$C611D96A-B518-46DE-AF23-73C18E5F346B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683860$B3F35187-B810-43F4-929A-43EA12C90741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683860$104342AC-C00B-438A-92BF-AFCBE52D56E6","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":"Q4683860$3DA27EFD-2714-4C39-AC57-44B2AF485335","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0d031655fd4043b4e67ae32151f349df7b7291","datavalue":{"value":{"entity-type":"item","numeric-id":4954438,"id":"Q4954438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$AE78BE84-CD23-4499-AE20-98085B11B810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cff4d4f56b053e85a2161a7772aebc73b185f51","datavalue":{"value":{"entity-type":"item","numeric-id":1392274,"id":"Q1392274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$E38AF568-6109-4333-91F0-B05888DDF43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$9800399B-1A7A-4838-AD72-213FB7CCBFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a998553d04d92ec750c5db95c511cc38b8ab7659","datavalue":{"value":{"entity-type":"item","numeric-id":5315023,"id":"Q5315023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$2EF0B4E8-EF1E-4060-BA7E-67D4E8E809CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$5D8749C3-279F-4416-98D7-2A6AFF138BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b55896153f1b7a9639e87884a76873ebf1e3ce","datavalue":{"value":{"entity-type":"item","numeric-id":1078561,"id":"Q1078561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$23396067-9B42-49C7-92EA-04814E8C59AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$F5069F2E-B780-4C1E-BD63-24BACA1415AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248bde3a394bd4daef7ad3a4739df78b9e4b1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$C3773062-3698-41F6-BA82-119BD6F1619E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"259566add26238ca97ab63bf4f4b6fc4f2a8b4e5","datavalue":{"value":{"entity-type":"item","numeric-id":5390541,"id":"Q5390541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$7B3F094B-E428-4EDF-ABE1-07653B989EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a633e84f28e974524d6f21199618016457237af","datavalue":{"value":{"entity-type":"item","numeric-id":4828516,"id":"Q4828516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$949976CE-16DD-4FA8-94FA-1CB447AACC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d0a984b1491e5a6351508d83e3e46d01979a9","datavalue":{"value":{"entity-type":"item","numeric-id":2897942,"id":"Q2897942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$49CC4D11-AF7F-41C8-B5E1-1D083CFB61B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bc55bbebf244b783725be10b3f699ef115994c","datavalue":{"value":{"entity-type":"item","numeric-id":1040653,"id":"Q1040653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$5FB31975-D31D-4753-8C2A-62588DF61DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b4470fc8105e86b290a6ea65c08490efcf18ff","datavalue":{"value":{"entity-type":"item","numeric-id":1047103,"id":"Q1047103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$16F3C36A-878A-458A-B301-22241D6463EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65cd3393fc321077edfc425739afc18c1ec486d","datavalue":{"value":{"entity-type":"item","numeric-id":1047100,"id":"Q1047100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$5444C80A-9DC2-464F-A2D7-7AE6E489F11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1035dc36ea3944858cdee3a4ce373f720728ce7e","datavalue":{"value":{"entity-type":"item","numeric-id":981680,"id":"Q981680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$E1B7FAEC-6B9F-4328-BE85-24D1E27069A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268215eabe63c194fce53ee3bac67832ae5f0141","datavalue":{"value":{"entity-type":"item","numeric-id":5278312,"id":"Q5278312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$F6BE58D8-4593-42E6-8436-22D8657765E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce66de35a754f6504bdfe29a3a230f81db98a2e","datavalue":{"value":{"entity-type":"item","numeric-id":3576061,"id":"Q3576061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$16DB3F3C-88C2-4B9E-84D0-07A1CF156A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aad2097292bfd22ad07898ec6479efa2aaca651","datavalue":{"value":{"entity-type":"item","numeric-id":3576212,"id":"Q3576212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$C7576BE3-BE0F-43F8-A7F8-50AD4E9AEBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3928359a88713e7cd7f4a39cee316fa6f1406e","datavalue":{"value":{"entity-type":"item","numeric-id":2264119,"id":"Q2264119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$B9B7FBCD-FF09-4286-B334-B9824365B01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b68b3f473db8eb4c3717e731517df0a941c3","datavalue":{"value":{"entity-type":"item","numeric-id":3374756,"id":"Q3374756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$026E3CDE-E070-499A-8391-89A429CC9A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971e1da18ba9f5f760a8b5ee0983da9938243d29","datavalue":{"value":{"entity-type":"item","numeric-id":2888890,"id":"Q2888890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$CB38E08F-9FDB-4B0E-B3A4-D89FE64D6D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64f0c9b576f1824f2de905ba6f67be3b88864da","datavalue":{"value":{"entity-type":"item","numeric-id":5845416,"id":"Q5845416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$BEBC1BCF-F87E-49B7-B687-FCFBBDD2A446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f53db317a6496b8a355a030f27794b3cabd60a5b","datavalue":{"value":{"entity-type":"item","numeric-id":5283438,"id":"Q5283438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$C26345A4-86C3-4948-8999-64398F12BA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64cd758a3afd6bddc65c96a089a25edc44da4123","datavalue":{"value":{"entity-type":"item","numeric-id":3008019,"id":"Q3008019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$E6A31CFC-15EC-4BE7-B4FE-CC824488072F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248729ebc4d6876ccf402d4746249e334c3f8ead","datavalue":{"value":{"entity-type":"item","numeric-id":705888,"id":"Q705888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$8F2A3B6A-6A09-4921-81A6-3F2A7040FA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9336c42261fc060f748e514f2a4cb3e585b99f07","datavalue":{"value":{"entity-type":"item","numeric-id":5224502,"id":"Q5224502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$4EAB5ACB-4C4A-4FE1-917C-794E0C9662CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21001737b2e7188bee1dd40c3269741d69c9efe7","datavalue":{"value":{"entity-type":"item","numeric-id":259729,"id":"Q259729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683860$F821C8A9-A0CE-48D5-8B13-CEE6B4DA7EC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f723deba652ef28afef9642db8f2a140a1a1b17","datavalue":{"value":{"entity-type":"item","numeric-id":5224502,"id":"Q5224502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ee275c1de579ca01e57c36d34ac398ec1d2e5c","datavalue":{"value":{"amount":"+0.8355186581611633","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":"Q4683860$17EC8760-7ACB-4AB8-A6DF-7830BF81F524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"864ef7470d0622d1862bc654e214abc844d991fa","datavalue":{"value":{"entity-type":"item","numeric-id":5283438,"id":"Q5283438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ffbe60920f44cb38f327e4d9ee2fb68d8b29a6c","datavalue":{"value":{"amount":"+0.7909598350524902","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":"Q4683860$864653DA-B5F7-4DEE-86EB-8C234EC91C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24be85173ed0b92e0b0772950931e307dd07f4ca","datavalue":{"value":{"entity-type":"item","numeric-id":5108031,"id":"Q5108031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83de33b6e875e7dcf630dcfd791abe5a78548637","datavalue":{"value":{"amount":"+0.7899751663208008","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":"Q4683860$ADEF8877-32F1-4DC4-948E-FEE3A52CD979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ed56d7529dc25a98b5da3880a5c71a0fc3c57a","datavalue":{"value":{"entity-type":"item","numeric-id":259729,"id":"Q259729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c394cfe7e46f6bbe2cc9886cb739536c72c1be03","datavalue":{"value":{"amount":"+0.7337384819984436","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":"Q4683860$06152C54-EE1C-42F5-8F4B-E89E081A40A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128ab234c8c4d6a295fe655032764c635081e8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2314424,"id":"Q2314424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54516136d58057ebf69e257047a97cf246db77bf","datavalue":{"value":{"amount":"+0.722073495388031","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":"Q4683860$0BB99212-A095-45CA-91C7-60707FB11D56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Defining recursive predicates in graph orders","badges":[]}}}}}