{"entities":{"Q6488549":{"pageid":14067318,"ns":120,"title":"Item:Q6488549","lastrevid":47845675,"modified":"2026-01-02T20:57:16Z","type":"item","id":"Q6488549","labels":{"en":{"language":"en","value":"On restrictions of ordered paramodulation with simplification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680824"}},"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":"Q6488549$D4A467D2-755F-4E9B-A5B5-7DDF5B675E77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"816a6ef0746ec940621dc3b724f1b389cce02df9","datavalue":{"value":{"text":"On restrictions of ordered paramodulation with simplification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488549$AEED4006-EE08-4D43-ACBE-88A253960748","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dbfaa1a49645767be1e3c354cd695fcd132b8b2","datavalue":{"value":"1509.0304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488549$C7F05BF9-570E-48C9-891E-5C940985AE9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cc13c1d6bed6de2b453492c3572d741c31deddf","datavalue":{"value":"10.1007/3-540-52885-7_105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488549$384A54AD-FFC1-4E40-A46E-51B1BA13963A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cf815526c4f2604ee47e98322610a52470dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1072370,"id":"Q1072370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488549$2F5180B5-BFC8-46F9-824F-89607F7E3E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488549$B7B8533D-09CA-429B-A913-5579393F621E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488549$5F92D1DE-3701-4F9F-AF84-7545125C1AAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488549$23091E24-ADF5-49D4-A801-006EDC780C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488549$E052F8FD-D6A7-402C-AA23-3B8443BD98CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f4362505547b536905dc8ac2e39f6088ee81690","datavalue":{"value":"7680824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488549$64746F8F-150B-4E73-928C-C75B5B4D2BB4","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":"Q6488549$A8D44226-792E-4C60-B147-3E923F54BC2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a867cdc6d3f0743de280448ecffc7a317c12f81d","datavalue":{"value":{"entity-type":"item","numeric-id":5881276,"id":"Q5881276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488549$B9AB47CB-47D4-4330-88C3-4CDA935F918F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b777a302903125fe23797b9bf75d2ca49d181b97","datavalue":{"value":{"entity-type":"item","numeric-id":3817656,"id":"Q3817656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488549$AA282229-BF51-4899-ABC2-E2244ADBD8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488549$22F0FA6E-E7AE-4894-828C-43FC20A830EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc614fe187bd0295ec729cf32cb3675e34b7b37","datavalue":{"value":{"entity-type":"item","numeric-id":4302847,"id":"Q4302847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488549$01018568-0D4C-4B9A-A8F7-79C88251A375","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":"Q6488549$15760846-9FE4-4EB0-BA3F-F84B69A846C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488549$B4CF5822-D488-4DD8-8A44-0FE60B2B6DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7244bc005d8f2c4f58ae719a7ee80334b8ae29","datavalue":{"value":{"entity-type":"item","numeric-id":3798649,"id":"Q3798649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488549$7B5A672E-84FA-4EE6-81A8-6A5296B5BA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488549$202D13F6-6115-4DD4-A451-50D14AD4F44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7053c119e620b9c3b3c8c19da3a6a2d1be1e3c68","datavalue":{"value":{"entity-type":"item","numeric-id":5538934,"id":"Q5538934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488549$FF674ECB-E7BB-469C-9615-00243E942823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a00d494a72da53d5edc71ee57582c397b68b035","datavalue":{"value":{"entity-type":"item","numeric-id":3789100,"id":"Q3789100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488549$0B949E75-3EF1-4889-A619-621EA5F1B93F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8cdcc0bc38cde26587a3338b1faf976e3f210f","datavalue":{"value":{"entity-type":"item","numeric-id":5881276,"id":"Q5881276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efa8a3d8c45878046a1b50779a7372bb0ff808f3","datavalue":{"value":{"amount":"+0.8956886529922485","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":"Q6488549$A29788DD-24EE-4068-9466-2634174D3E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a629f668f1d2f7c136d043dc6e41f13b903ac127","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4164aa7dac0c5d6f0e7e8139c5693f7380f4488e","datavalue":{"value":{"amount":"+0.8910269141197205","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":"Q6488549$71D8A6A5-FFA6-4211-A38B-19806D9F4518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7ddd04ee380a60c66a29548ad3e6a9663d2d76","datavalue":{"value":{"entity-type":"item","numeric-id":1899908,"id":"Q1899908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b65e501b45fb50ae332097c493b84e7af551d89","datavalue":{"value":{"amount":"+0.8759972453117371","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":"Q6488549$F55DE3BE-256A-4F2E-837E-0D8443B8CA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9848e817c6fcd9fa4847b21172716f0a7fe083d5","datavalue":{"value":{"entity-type":"item","numeric-id":4249896,"id":"Q4249896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d3697cb6815f1bb9721b3e114a4350c0535821c","datavalue":{"value":{"amount":"+0.8597897887229919","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":"Q6488549$17C7E383-DC5B-4325-8EC0-3BE6CDC9A3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126f7aadcf86a4abb574c1835ceb3af729a14aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4255513,"id":"Q4255513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c506acd221a78ca27efd4e43f0992fe85895443","datavalue":{"value":{"amount":"+0.8245389461517334","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":"Q6488549$EA5F434B-110C-4269-A5A8-96F0671D8E07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488549","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488549"}}}}}